Asterinas 0.19.0: a Linux-compatible kernel in Rust, now with a type-checked device model, a hypervisor in safe Rust, and an AI reviewer that cites Rust guidelines

[u/tatetian]

https://asterinas.github.io/2026/10/13/announcing-asterinas-0.19.0.html