Re: [seL4] Kernel extensions and userspace options