A simple operating system