A project based on the seL4 microkernel to implement and test new functionality based on the SecCells architecture - View it on GitHub