[seL4] sel4 on bare-metal | Questions and comments