And a microkernel based OS with capabilities.

Another example that microkernels actually do have market share.