Raspberry Pi port, piCore-15.0 is available!
tc@box:~$ version -rSystem using dCore-xenial:2016.10.18.21.48, the latest release candidate.tc@box:~$ version -cIssue connecting to http://repo.tinycorelinux.net/, exiting..