RippleKernel is a project mainly written in C, it's free.

a kernel I made back in 2002; lots of hacks and crazy stuff, but a good learning experience around mutexes, semaphores, memory management, threading, low-level hardware, etc :)