Fix unsoundness in our representation of the MADT#223
Merged
IsaacWoods merged 2 commits intorust-osdev:mainfrom Jan 30, 2025
Merged
Fix unsoundness in our representation of the MADT#223IsaacWoods merged 2 commits intorust-osdev:mainfrom
IsaacWoods merged 2 commits intorust-osdev:mainfrom