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-grou

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...