A simple exokernel