Kernel Memory Safety: Mission Accomplished
9 points by Flundstrom2 3 weeks ago | 1 comment- Flundstrom2 3 weeks agoThis post distills 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.