?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 <devel-bounces(a)sel4.systems> on behalf of wong xuguo
<xuguo.wong(a)gmail.com>
Sent: Tuesday, 31 July 2018 9:53 AM
To: devel(a)sel4.systems
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