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:

to compile the : 

repo init -u https://github.com/seL4/camkes-manifest.git