A toy operating system that I am writing for x86