Small GPIO/interrupt handling program to test working on this board with a GCC toolchain and the OpenOCD GDB server