alidon | 7 months ago | on: BlueOS Kernel – Written in Rust, compatible with POSIX Huawei created and are currently shipping a microkernel OS not just on phones but in routers, appliances, vehicles.https://www.usenix.org/conference/osdi24/presentation/chen-h...
https://www.usenix.org/conference/osdi24/presentation/chen-h...