Login
From:
asterinas.github.io
(Uncensored)
subscribe
Kernel Memory Safety: Mission Accomplished
https://asterinas.github.io/2025/06/04/kernel-memory-safety-mission-accomplished.html
links
backlinks
Tagged with:
rust
osdev
(Forword: This post distills our research paper Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB, which is to be published at USENIX ATC 2025. The preprint can be found on arXiv.)
Roast topics
Find topics
Find it!
