Exokernel operating system