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