[seL4] 答复: some question about the compile of global-components in camkes_arm_vm project

28 Dec 2019


      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