"afaik rtic has no way of saying..." <- Well, RTIC requires IRQs for dispatching. ``` #[rtic::app( device = hal::pac, dispatchers = [SW0_IRQ, SW1_IRQ, SW2_IRQ, SW3_IRQ, SW4_IRQ, SW5_IRQ], peripherals = true )] mod app { use cortex_m::delay::Delay; use rp2040_hal as hal; ... } ``` Those 6 IRQs are RTIC's dispatchers in my app. In particular those 6 never fire, datasheet says they are tied to zero. So I won't miss them. There must be executor's code somewhere collating the wakers for poll().