The kurbits project aims to create a set of hardware driver servers and an application runtime on top of the seL4 kernel for the raspberry pi.
For general instructions on using this repository, see Getting Started.
See Host Dependencies for required dependencies.