Hacker News new | ask | show | jobs
by loup-vaillant 4323 days ago
Exo-kernels might be a better alternative.

https://en.wikipedia.org/wiki/Exokernel