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
Does anyone have a seL4 load/configuration that includes more than 2
partitions with at least 2 of the partitions each having a dedicated
Ethernet interface assigned to it?
I am focused on an x86 host platform. Currently I have a Dell 7910 19"
rack unit I am wanting to host on and it has 4 Ethernet ports.
Enterprise Architect Rockwell Collins