hi，
I have some question about the compile of global-components in camkes_arm_vm
project.
1、In projects/global-components/components, there are some directory include
FileServer, SerialServer, TimeServer and the others.
I found FileServer had been compiled to project， but the other directory
have not been compiled
Is there some on-off switch control the compile ？ But I did not find it.
2、The CAmkES of FileServer component did not have a "int run(void) {},
If I want to add an new component with run entry， but it is not
rootserver（I think one project only have one rootserver），it run with vm
rootserver parallelly？
what should I do ？ Is there some example.
Thank you very much
<<attachment: winmail.dat>>
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
