GitHub repository: seL4/camkes-vm-images
Primary language: CMake
Description: Precompiled kernels etc. for use with camkes VMs.