If our funding and manpower was unlimited, GrapheneOS wouldn't be using the Linux kernel at all, ideally something akin to a microkernel with a hypervisor written in a memory safe language like Rust. ...
Perhaps in a few years, when tooling has matured, AI can accelerate such an effort.