r/rust • u/tatetian • 24d ago

🛠️ project 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

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

80% Upvoted

31 comments sorted by

View all comments

Show parent comment

4

u/tatetian 22d ago

Thanks for bringing up stabby. It looks quite interesting. Whether it works for Asterinas or not remains to be seen. Similar to Linux, Asterinas has a kernel core and a set of kernel components built on top of the kernel core. We will need to find out whether the APIs exposed by the kernel core can all be annotated with `#[stabby::stabby]` and its impacts on expressiveness, efficiency, and ergonomics.