?Hi,
I've updated the Camkes docs for our new build system on how to run a sample application. Can you try again with the new instructions on 'building a sample application'? https://docs.sel4.systems/CAmkES/ Cheers Anna. ________________________________ From: Devel <[email protected]> on behalf of wong xuguo <[email protected]> Sent: Tuesday, 31 July 2018 9:53 AM To: [email protected] Subject: [seL4] about compile error Dear Sir/Lady, This is a student from china, I am very interested in the sel4, works on the camkes, When I first compile the project camkes, I met a problem: camkes.c:502: undefined reference to `component_control_main' I know this means it not implemented this function, but this function seems produced by a auto method, so could you tell how to solve this problem? I follow the command: https://docs.sel4.systems/CAmkES/ to compile the : repo init -u https://github.com/seL4/camkes-manifest.git
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
