A simple operating system for the x86 architecture