GitHub repository: tiiuae/camkes-vm-images
Description: Precompiled kernels etc. for use with camkes VMs.