Raspberry Pi port, piCore-15.0 is available!
However I'm trying to compile erlang from source to Tiny Core 7.x and I'm getting weird stuff from gcc.