Hacker News new | ask | show | jobs
by rglullis 6124 days ago
http://en.wikipedia.org/wiki/Exokernel