I was looking to upgrade to CAmkES release 2.0. but can't get an example arm configuration to compile.
I did a a fresh clone using https://github.com/seL4/camkes-manifest.git and found the ia32_simple_defconfig compiles fine, but not arm_simple_defconfig
make arm_simple_defconfig make
[libs/libsel4] building... make: *** No rule to make target `/home/sysjeff/Camkes2/libs/libsel4/sel4_arch_include/arm/interfaces/sel4arch.xml', needed by `include/interfaces/sel4_client.h'. Stop. make: *** [libsel4] Error 2
looks like the arm directory got renamed to aarch32 and part of the build system doesn't know?
$ ls /home/sysjeff/Camkes2/libs/libsel4/sel4_arch_include/ aarch32/ ia32/
Is there something simple I am missing?