The documentation for the X4 mentions that the RP2040 can be reset by pulling one of the x86 GPIOs high for one second
But, after installing gpiod on Ubuntu 24.04, gipiodetect and gpioinfo do not show any information.
Attempts to read the GPIO with gpioget and setting with gpioset just fail.
Did some googling and it sounds like I might not have a GPIO controller driver installed. Is this the case?
Thanks