This Month in Rust OSDev: February 2025#250

Merged

phil-opp merged 9 commits intomainfrom

Mar 4, 2025

Commits on Feb 4, 2025

Add draft for Feb issue
phil-opp
committed

Commits on Feb 9, 2025

Commits on Feb 17, 2025

Add blog post: Towards Practical Formal Verification for a General-Purpose OS in Rust
tatetian
committed

Commits on Feb 19, 2025

Merge pull request #252 from tatetian/practical_rust_os_verification
phil-opp
authored