-
briankardell It was a buildroot for raspberry pi to boot into pico8 (lots of weird words there). I've got a working version from the original author but the pi doesn't have wifi, so I tried to build my own version. It took hours, several of them. And didn't work - at all!