A simple operating system using a microkernel