Raspberry Pi RP2350

Took a quick look at your branch and I think the issue is that your Interrupts protected object is missing a priority in the Interrupt_Priority range. The default priority is just System.Priority'Last, which is not in the Interrupt_Priority range.

Try changing your Interrupts declaration in your test to this:

protected Interrupts 
  with Interrupt_Priority => System.Interrupt_Priority'First 
is
...
1 Like