TY  - RPRT
TI  - Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
AU  - Yuke Peng
AU  - Hongliang Tian
AU  - Zhang Junyang
AU  - Ruihan Li
AU  - Chengjun Chen
AU  - Jianfeng Jiang
AU  - Jinyi Xian
AU  - Xiaolin Wang
AU  - Chenren Xu
AU  - Diyu Zhou
AU  - Yingwei Luo
AU  - Shoumeng Yan
AU  - Yinqian Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2506.03876
ID  - 2506.03876
ER  -