Extremely simple 32-bit OS kernel, does nothing useful at this time