A lightweight operating system for x86 machines.