LapOS is a tiny C kernel for i386. Mainly just a personal experiment into ia32 protected mode and paging.