Hacker News new | ask | show | jobs
by fithisux 4327 days ago
Use micro-kernels.
2 comments
loup-vaillant 4327 days ago
Exo-kernels might be a better alternative.

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

link
pjmlp 4327 days ago
It is a matter of willingness, not technology.
link