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
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
