Interrupt management summary

Device driver

• When the device file is first opened, register an interrupt handler for the device's interrupt channel.

Interrupt handler

• Called when an interrupt is raised.

• Acknowledge the interrupt

• If needed, schedule a tasklet taking care of handling data. Otherwise, wake up processes waiting for the data.