I found some example in odroid_vm,
I want to make sure my understanding is correct?
In CMakeLists.txt DeclareCAmkESComponent(HelloWorld) is just tell me there is a
component called “HelloWorld”
If you want this component to be compiled to project
You must add call in your assembly in .cmakes file like below:
assembly {
composition {
component HelloWorld hello;
}
Thank you very much
发件人: yadong.li
发送时间: 2019年12月28日 15:32
收件人: 'devel@sel4.systems'
主题: some question about the compile of global-components in camkes_arm_vm
project
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
