TELOS Systems Lab
TELOS Systems Lab
Software stack
I/O outputs
Scheduled tasks
Physical address
File system
Networking connection
Power supply
Jinyi Xian
Latest
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
Cite
×