Zafio is a project mainly written in C and PYTHON, it's free.

Very basic x86 kernel. Some features: Program loading from ELF executables, software task switching, blocking and non-blocking system calls.