Thanks for featuring my white paper. Some responses to some of the comments.

"Opinionated": guilty as charged. However, I claim that the opinions are well-grounded in fact.

Deployments: There are seL4-based devices in regular use in several defence forces. And it's being built in to various products, including civilian, eg critical infrastructure protection. And much we only hear anecdotally – that's open source...