A 32-bit OS written in C