GitHub repository: na-g/DEOS
Primary language: C
Description: The distributed exokernel operating system