Update ARM Access for det_ext changes#840

Merged

corlewis merged 2 commits intoseL4:det_ext_statefrom corlewis:det_ext_state_arm

Feb 10, 2025

+752-1,131

Commits on Feb 4, 2025

access: relax conditions

ryybrr
authored and
corlewis
committed

Commits on Feb 10, 2025

arm access: proof update for det_ext refactor
corlewis
committed