Tests for overmapping, and fixes for aarch32 PT tests#148

Draft

Kswin01 wants to merge 5 commits intoseL4:masterfrom

au-ts:prevent_overmap

Commits on Oct 20, 2025

Added new tests for overmapping

alwin-joshy
authored and
Kswin01
committed
Changed aarch32 pt0002 test

alwin-joshy
authored and
Kswin01
committed
Fixed style and test on riscv32

alwin-joshy
authored and
Kswin01
committed
Disable huge pages on simulation

alwin-joshy
authored and
Kswin01
committed

Commits on Oct 21, 2025

aarch64: swap to unified page table definitions
Kswin01
committed