Code

Update ARM AInvs for det_ext changes#844

Code

Merged

corlewis merged 1 commit intoseL4:det_ext_stateseL4/l4v:det_ext_statefrom corlewis:get_ext_state_arm_ainvscorlewis/l4v:get_ext_state_arm_ainvsCopy head branch name to clipboardDec 19, 2024

+209-374

Commits

Commits on Dec 19, 2024

• arm ainvs: proof update for det_ext refactor

  Show description for f428ccf
  corlewis

  committed
  f428ccf