A bare bones kernel with basic functionality for writing to the BIOS VGA buffer (i.e. console), implemented in C and GNU assembly.