@misc{indiciae563da8e79129,
  title = {Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB},
  author = {Yuke Peng and Hongliang Tian and Zhang Junyang and Ruihan Li and Chengjun Chen and Jianfeng Jiang and Jinyi Xian and Xiaolin Wang and Chenren Xu and Diyu Zhou and Yingwei Luo and Shoumeng Yan and Yinqian Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2506.03876},
  note = {Source identifier: 2506.03876}
}