A small 32-bit operating system