2.3 Interrupt Handling
Interrupts in the T-Kernel speci.cation include both external interrupts from devices and interrupts due to CPU exceptions. One interrupt handler may be defined for each interrupt number. Interrupt handlers can be designed for direct starting, basically without OS intervention, or for starting via a high-level language support routine.
Comments