Raspberry Pi port, piCore-15.0 is available!
Does your comment mean that the Finnix kernel could be used with TC? meo
I don't make the decisions, but I expect tinycore will update to the latest kernel when tinycore version 4.x is released.