• by Flundstrom2 on 6/13/2025, 11:09:57 AM

    This 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.