Hacker News new | ask | show | jobs
by fithisux 4327 days ago
Use micro-kernels.
2 comments

Exo-kernels might be a better alternative.

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

It is a matter of willingness, not technology.