peripheral/gpio_irq Demonstrates registering a GPIO IRQ handler and lighting LEDs. Source Files gpio_irq.mk main.c