Gregory Nutt b750dd5ff7 Correct name, not CONFIG_GPIO_IRQ but CONFIG_LPC43_GPIO_IRQ		2016-07-22 14:55:39 -06:00
..
board.h	Correct name, not CONFIG_GPIO_IRQ but CONFIG_LPC43_GPIO_IRQ	2016-07-22 14:55:39 -06:00