An exokernel based *(OS).

See _(XOk)