while (1){ waitForInterrupt(); // This will typically put the processor in a low-power mode until an interrupt is received. // An interrupt is received and (maybe) adds a task to a DFC list. runNextDFC(); // This can be interrupted. // Note that the implementation of the DFC list must be thread-safe, even if this is implemented by simply masking interrupts whilst it is being modified.}