Docker image for seL4 and CAmkES build tools

This repository contains a Docker image for building and running seL4 and CAmkES locally.

Bootstrapping container

First of all, the image has to be built or fetched from hub.docker.com with make build or make pull respectively.

Next, a container has to be created from the image. make create will do the job. With this container you can download the source code into the container and build it there.

Alternatively make create_local SRC_PATH=... creates a container that uses locally available source and builds in a local directory. SRC_PATH corresponds to a seL4/CAmkES source tree on the local machine. This will be available under /build_src in the container.

Finally, make start will open a terminal from which seL4/CAmkES can be compiled and run.

Compiling and running

In order to compile the OS for the first time, the following commands need to be executed after entering the terminal.

If you used make create:

cd /home/root
mkdir camkes-manifest
cd camkes-manifest
repo init -u 
repo sync

Otherwise if you used make create_local

cd /build_src

To build for ARM

make arm_simple_defconfig
make silentoldconfig
make

Afterwards, launching the OS via qemu can be done by

qemu-system-arm -M kzm -nographic -kernel images/capdl-loader-experimental-image-arm-imx31

To build for x86

make x86_simple_defconfig
make silentoldconfig
make

Afterwards, launching the OS via qemu can be done by

qemu-system-i386 -nographic -m 512 -kernel images/kernel-ia32-pc99 -initrd images/capdl-loader-experimental-image-ia32-pc99	

For further details please refer to the seL4 website.