Hi Jeff, Sorry that we had an issue with the repositories. The error should be fixed now. Run "repo sync" would do the trick. Note that, repo init -u https://github.com/seL4/camkes-manifest.git will get the "bleeding edge" of everything, not only CAmkES but also the seL4 kernel and libraries etc. We try to keep the code consistent, but it could break sometimes. If you prefer a stable, tested release version(aka CAmkES 2.0), please try repo init -u https://github.com/seL4/camkes-manifest.git -m default-2.0.x.xml Cheers, Siwei On Sun, Jan 24, 2016 at 10:26:22PM -0500, Jeff Hieb wrote: #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 # # #_______________________________________________ #Devel mailing list #Devel@sel4.systems #https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.