A simple x86 operating system