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. ...
Why would you leap from Linux to a hobbyist OS? Why not FreeBSD or OpenBSD? Rust doesn't even have reproducible builds yet (iirc)