Raspberry Pi port, piCore-15.0 is available!
To run it in Tiny Core, it needs to be made into an extension.Tiny Core won't run the applications of the other operating system.