> The biggest reason this hasn't happened so far is the lack of a truly capable parametric kernel, Truck, the kernel that Matt is using looks like an incredible project and exactly whats needed.

Indeed. This is a great application for Rust. It's something that's complicated, difficult, and has to work right.