Ok, after some internal testing/fiddling, plus some (more) digging, I have found the following:
- GPIO PIN #2 throws out interrupts when any of the 5 buttons are pressed/released (great start, but obviously not enough to tell me which one has been pressed specifically)
There is some example to make these 5 buttons work, yes.
(This refers to the code in C / Python I quoted in the original post)
They are not linked to the Raspberry Pi, but instead talk directly to the Xilinx processor on the HAT itself, which then passes them to the Pi over SPI etc.
Which now indicates I have to go via SPI (I initially thought I had to go via I2C).
I am sure the answer is quite simple, but I have still little knowledge yet of how/where to start.
Any further pointer is again much appreciated.
Cheers
Alex