If you can afford formal verification and application programmers also fluent in hardware level coding, you can probably afford more RAM. I'd want to see a sol

If you can afford formal verification and application programmers also fluent in hardware level coding, you can probably afford more RAM. I'd want to see a solid paper comparing the security of the approach you mention to a microkernel+app. Until then we have this. But agreed, there are other ways, of varying practicality, to achieving security.