TY  - RPRT
TI  - safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels
AU  - Zheyuan Xu
AU  - Xiaobei Zhang
AU  - Zihan Li
AU  - Zekai Nie
AU  - Guangtao Zhu
AU  - Zhuang Lu
AU  - Qianying Zhang
AU  - Shijun Zhao
AU  - Haibo Chen
AU  - Rui Hou
PY  - 2026
DO  - 10.1145/3845814.3850085
UR  - https://arxiv.org/abs/2610.35999
ID  - 2610.35999
ER  -