Hi,
I would like to know how to access to GPIOs MIO from Linux kernel.
I'm not completely sure how to do that.
I can see in my picoZed in the /sys/class/gpio the folder gpiochip0 and inside this folder the file ngpio with a value of 64. But I not completely sure if this is the MIO GPIOs, because the MIO are 54 GPIOS: