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