I've been experimenting with the GPIO pins on PocketCHIP in a Pico-8 game, but it's awkward that it only works for the root user.

Is there some way I could change the permissions of the hardware so that ordinary users can access the GPIO?