AI · Studies · 2026-11-11 16:33
Mars Research has released Atmosphere, a fully functional microkernel operating system developed in Rust and formally verified using Verus.
Source: mars-research.github.io
Auto-generated summary for reference only. RSS