[seL4] Some questions about seL4 operating system