Get the latest tech news
Asterinas: A new Linux-compatible kernel project
Born from research at the Southern University of Science and Technology (SUSTech) in Shenzen, C [...]
Born from research at the Southern University of Science and Technology(SUSTech) in Shenzen, China, Asterinas is a new Linux-ABI-compatible kernel project written in Rust, based on what the authors call a "framekernel architecture". Asterinas aims to use the framekernel approach to achieve a system that has a small, formally verified TCB akin to a lean microkernel, but also a simple shared-memory architecture with Linux ABI compatibility, all at the same time. The primary plans involve creating a container host OS with a tight, formally verified TCB and support for some trusted-computing features in Intel hardware, for the Chinese cloud service.
Or read this on Hacker News
