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[1]: *** 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?
Thanks,
Jeff
--
Jeffrey L. Hieb
Department of Engineering Fundamentals
University of Louisville
Louisville Kentucky 40292
(502) 852 0465