On: My Fear of Commitment to the First CPU Core

[als0]

> Decades of exploits have me convinced that microkernels are the only real path towards security.

Not necessarily. Check out the CHERI project, which has a reasonably good handle on exploits https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/