GitHub repository: rdmsr/dufay
Primary language: C
Description: Modern Microkernel from Scratch