An exokernel operating system written in D