A minimal exokernel.