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

phil-opp merged 1 commit intorust-osdev:nextrust-osdev/homepage:nextfrom

tatetian:practical_rust_os_verificationCopy head branch name to clipboard