Exokernel - Wikipedia
en.wikipedia.org