In the Linux implementation included with the Golden System Reference Design, if you attempt to register an interrupt handler for a nonexistent GPIO device, you will see error messages similar to the following:
Unable to handle kernel NULL pointer dereference at virtual address 00000028
These errors indicate a kernel segmentation fault.
With the Golden System Reference Design, ensure that you attempt to register interrupts only for existing GPIO devices.
Alternatively, upgrade to v13.1 or later.