This is why I think we're going to see some new kernels being adopted soon. I think Asterinas looks neat, and leveraging NixOS was a very smart move IMO.

https://asterinas.github.io/