GitHub repository: ringgaard/sanos
Primary language: C
Description: Sanos operating system kernel