Neat, thanks for this correction! Interesting, an entire new programming language.
replyAnd a microkernel based OS with capabilities.
replyAnother example that microkernels actually do have market share.
Another example that microkernels actually do have market share.