I'd like to add this Ethernet module to my Compute Module (I'm currently using a USB-Ethernet adapter, but I'd like to free up the USB port. Ethernet speed is not critical). The configuration instructions seem straightforward, but they call for using GPIO 25 as the interrupt input, and I'm currently using it for something else.
Is there a simple way to tell the driver to use a different GPIO?
I understand that the device tree can be edited, but I've never done that, and am clueless about how to proceed.