StrombolOS is a project mainly written in C and ASSEMBLY, it's free.

Jake and Kyle's real-time kernel (CS 452)