Raspberry Pi port, piCore-15.0 is available!
Please can some oneadd it to Tiny Core 7.0 32bit repo or give me a guide to add it.
... so I have to recompile it each time i setup a tinycore build.