Skip to content

Fix unsoundness in our representation of the MADT#223

Merged
IsaacWoods merged 2 commits intorust-osdev:mainfrom
IsaacWoods:sound_madt
Jan 30, 2025

Commits

Commits on Jan 30, 2025