Neat, thanks for this correction! Interesting, an entire new programming language.

animuchan • yesterday at 8:40 AM • 1 reply • view on HN

pjmlp • yesterday at 9:48 AM

And a microkernel based OS with capabilities.

Another example that microkernels actually do have market share.

alt Hacker News