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
make: *** No rule to make target
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/
Is there something simple I am missing?
Jeffrey L. Hieb
Department of Engineering Fundamentals
University of Louisville
Louisville Kentucky 40292
(502) 852 0465