Prototype no-assurance reference OS personality built on seL4 - View it on GitHub