A simple microkernel operating system