I’m new to this whole thing, but having masses of fun with the Batocera emulator, well done indeed.
I have a few projects I’d like to do with the GPIO but batocera does not have the drivers. Has anyone any ideas for how to install wiringPi or some such to get access to the GPIO headers and start making fun stuff happen?