Search

TELOS Systems Lab

TELOS Systems Lab

Software stack
I/O outputs
Scheduled tasks
Physical address
File system
Networking connection
Power supply

Junyang Zhang

Ph.D Student

Peking University

Latest

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB

© 2025 TELOS. This work is licensed under CC BY NC ND 4.0 and made by TELOS, especially by Yonghao Zou, Jianqiang Zeng, and Yiming Yao.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite