GitHub repository: vvaltchev/tilck
Primary language: C
Description: A Tiny Linux-Compatible Kernel