Raspberry Pi port, piCore-15.0 is available!
You would need to compile them.
i would like x86 version of them