GitHub repository: tiiuae/kmod-sel4-virt
Primary language: C
Description: Linux kernel module to manage seL4 guest VMs