peripheral/gpio_irqDemonstrates registering a GPIO IRQ handler and lighting LEDs. Source Files gpio_irq.mkmain.c