Comment by monocasa

Kind of, but this still has a kernel/user seperation, unlike mirage.

This is really a classic exokernel design.