Hi Peng,
This is typically due to missing some dependencies of the camkes-accelerator. Instructions for setting up your machine to build camkes (and its accelerator) are here: https://wiki.sel4.systems/CAmkESNext If you send details of the compiler errors you're getting I can be more specific. Cheers, Stephen ________________________________ From: Devel <[email protected]> on behalf of PX <[email protected]> Sent: Wednesday, 11 January 2017 12:20 PM To: [email protected] Subject: [seL4] question about SEL4PROJ /camkes-arm-vm-manifest Hi, all I try to build a TK1 ARM VMM image from the source code SEL4PROJ/camkes-vm-manifest in GitHub. However, I can not compile it. I get errors when the compiler tries to build "camkes-accelerator" . I don't put any new code yet. I just: 1) repo init the url ; 2) repo sync; 3) make tk1_vm_defconfig; and 4) make. Did I do something wrong here? thanks Peng
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
