@misc{indiciae180418368711,
  title = {TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems},
  author = {Xinkui Zhao and Yifan Zhang and Haidan Zhao and Hao Zhang and Qingyu Ma and Lufei Zhang and Guanjie Cheng and Shuiguang Deng and Jianwei Yin and Zuoning Chen},
  year = {2025},
  url = {https://arxiv.org/abs/2512.00400},
  note = {Source identifier: 2512.00400}
}