Sofa Sofa is a test bed project for implementing an Operating System on top of the SeL4 microkernel. Usefull links : Advanced Operating Systems COMP9242 2018/S2 Course SeL4 API Reference Sofa implementation notes