A simple IA32 based operating system.