A simple toy operating system for Intel x86