AdaCore’s "Intro to Embedded Systems" says, in the section on Handling Interrupts,
The standard mutually exclusive access provided to the execution of protected procedures and entries is enforced whether the "call" originates in hardware, via an interrupt, or in the application software, via some task. While any protected action in the PO executes, the corresponding interrupt is blocked, such that another occurrence will not preempt the execution of that actions' procedure or entry body execution in the PO.
Not sure that this RTS meets that requirement.
AdaCore’s "Intro to Embedded Systems" says, in the section on Handling Interrupts,
Not sure that this RTS meets that requirement.