Level-triggered vs. Edge-triggered Interrupts