Severian is a 32 bit kernel written in C
Severian is a 32 bit kernel written in Ansi C and assembly. It is in the very early stages of development and can currently write text to the VGA Buffer and handle a few ANSI Escape Codes. The project's toolchain can be built with a shell script that creates a cross compiler for GCC and Binutils that targets this system.