CAmkES Example Application

A simple CAmkES application. Unfortunately, this CAmkES application appears to still be using the old seL4 build system, which is, in my opinion, incomprehensible. (The transition from KBuild (old system) to CMake (new system) has been a gradual process. Less popular libraries and application may not have working CMakeLists files, although you can always write them yourself.) For more information on CAmkES, see https://docs.sel4.systems/CAmkES/.

Compiling for the ODROID

Create a directory for the project and use repo to download the sources:

mkdir camkes
cd camkes
repo init -u https://github.com/sel4/camkes-manifest.git
repo sync

Configure the project by typing make arm_simple_defconfig. This configures for an ARM platform, and selects the application "simple" as our target. Then, type make menuconfig to bring up the full menu of configuration options. Navigate to Kernel -> sel4 System -> Platform Type, and select "exynos5422". Exit and save changes. Type make silentoldconfig.

Finally, build the project by typing make. The resulting image will be placed in the "image" directory.

Refer to the Deploying to the ODROID-XU4 page for instructions on how to run this image on the Odroid.