Tasklets

To test tasklets, we can do exactly as before, that is, connecting pin 12 to pin 1 of extension connector P8. The following are the kernel messages we should get:

irqtest irqtest: interrupt occurred on IRQ 40
irqtest irqtest: tasklet executed after IRQ 40

As expected, an IRQ is generated and then managed by the hardware irqtest_interrupt() interrupt handler that, in turn, executes the irqtest_tasklet_handler(). tasklet handler.