vincent.defert%posteo.net@localhost (Vincent DEFERT) writes: >Thanks for the hint, /var/run/rc.log contains: >gpioctl: GPIOSET: Operation not supported by device Looks like so far nobody cared about provding a gpio(4) driver for ODROID.