Hacker News new | past | comments | ask | show | jobs | submit
treeshateorcs | on: Asterinas: OS kernel written in Rust and providing Linux-compatible ABI
https://www.youtube.com/watch?v=3AQ5lpXujGo Asterinas: A safe Rust-based OS kernel for TEE by H. Tian & C. Song (Ant Group & Intel) | OC3 2024