Raspberry Pi port, piCore-15.0 is available!
It used to be closed-source, but was recently made open source.