Repository for OSBigLab-2025s (2022011223) | Target: Kani verification for Rust-based OS - View it on GitHub