GitHub repository: tay10r/OpenCNK
Primary language: C++
Description: A small exokernel for x86_64 written in C++.