trustworthysystems/sel4 repository overview

⁠Trustworthy Systems: sel4 docker image

This image contains all the tools and dependencies to build sel4.

⁠Usage

We recommend using our Makefile for the best user experience. You can find out more about that on the seL4 docker GitHub page⁠.