(github.com)

235 points Klasiaster | 1 comments | 15 Oct 24 12:01 UTC | HN request time: 0.324s | source

1. treeshateorcs ◴[15 Oct 24 21:00 UTC] No.41853067[source]▶

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

Asterinas: OS kernel written in Rust and providing Linux-compatible ABI