peripheral/gpio_irq

Demonstrates registering a GPIO IRQ handler and lighting LEDs.