Assertion: interrupt's isr | /r/HasProperty | written for the core timer
Facets:
Source sentences:
text: If an ISR had been written for the core timer (interrupt vector 0), the code at 0x9D000200 would contain a jump to the location in program memory that actually holds the ISR.