tree 9ba92504a8e08123bfa24009c694a70712320ddb
parent f7c08eeb6c00c5a99e0994619643ef5f57bf2ad4
author Nathaniel Wesley Filardo <wes.filardo@scisemi.com> 1731342093 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> 1731347831 +0000

switcher: enable IRQs while in fault handlers

Fault handlers should not run with IRQs disabled, as that would allow
any compartment with a fault handler to wedge the machine (and while in
principle still auditable, that's a big step back from the structured
IRQ disposition programming otherwise present in the RTOS).  This
implies that invariants established and protected under IRQ deferral no
longer hold on the fault path; the attendant loss of atomicity is just
something the compartment will have to deal with.