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