[seL4] Re: Suitability for a project