trustworthysystems/camkes repository overview

⁠Trustworthy Systems: camkes docker image

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

⁠Variations

To keep images as small as possible, we provide a number of variations that have additional software built in. Here is a list of all the images based off the camkes image:

• trustworthysystems/camkes⁠
• trustworthysystems/camkes-cakeml-rust⁠

⁠Usage

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