On: Android Developer Verification: Threat masquerading as protection

[animuchan]

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

[pjmlp → animuchan]

And a microkernel based OS with capabilities.

Another example that microkernels actually do have market share.