Pisound hardware button gpio integration

Hi,

I am toying with a Raspberry PI 4B + Blokas Pisound on latest vangelis.

Since it has a hardware button, it would be a shame to waste it. It’s available via GPIO 17.

The hardware is working: below is the off and pushed state, respectively.

(venv) root@pisound:~# pinctrl get 17
17: ip pu | hi // GPIO17 = input
(venv) root@pisound:~# pinctrl get 17
17: ip pu | lo // GPIO17 = input

Next I tried configuring it like this. Tested after a reboot but I don’t see any logging nor effect.

Any hints or better ways to get this working?

Note I am using ‘just’ the out of the box Pi + Pisound hat without extra hardware, and just the Zynthian OS vangelis without the custom button scripts that Blokas provides.