Raspberry Pi port, piCore-15.0 is available!
tc@box1:~$ pinballCouldn't open config file: /home/tc/.emilia/pinballpinball: relocation error: pinball: symbol _ZNKSt5ctypeIcE13_M_widen_initEv, version GLIBCXX_3.4 not defined in file libstdc++.so.6 with link time referencetc@box1:~$