Hacker News new | ask | show | jobs
by pjmlp 27 days ago
And a microkernel based OS with capabilities.

Another example that microkernels actually do have market share.