TELOS Systems Lab
TELOS Systems Lab
Software stack
I/O outputs
Scheduled tasks
Physical address
File system
Networking connection
Power supply
Shoumeng Yan
Latest
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
Cite
×