@misc{indiciaeefed5fb23051,
  title = {safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels},
  author = {Zheyuan Xu and Xiaobei Zhang and Zihan Li and Zekai Nie and Guangtao Zhu and Zhuang Lu and Qianying Zhang and Shijun Zhao and Haibo Chen and Rui Hou},
  year = {2026},
  doi = {10.1145/3845814.3850085},
  url = {https://arxiv.org/abs/2610.35999},
  note = {Source identifier: 2610.35999}
}