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
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.
That did it Thanks!
Jeffrey L. Hieb Department of Engineering Fundamentals University of Louisville Louisville Kentucky 40292 (502) 852 0465
On 1/25/2016 1:44 AM, Siwei Zhuang wrote:
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://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_seL4_camkes-... 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://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_seL4_camkes-... -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://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_seL4_camkes-... 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://urldefense.proofpoint.com/v2/url?u=https-3A__sel4.systems_lists_list...
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.
-
Jeff Hieb -
Siwei Zhuang