The GPIO IRQ HAL tests ensure driver conformance to defined behaviour.

To run the GPIO IRQ hal tests use the command:

mbed test -t <toolchain> -m <target> -n tests-mbed_hal_fpga_ci_test_shield-gpio_irq