Kernel written in C that began with the barebones OSDev tutorial.