A simple operating system kernel