Box Kernel
A Unix-like kernel written for i386-based machines
Box is a tiny, Unix-like kernel written in C with some bootstrap code written in x86 assembly.
Useful links
Git repository
Relevant standards documents
Single Unix Specification
C99 Standard