Raspberry Pi port, piCore-15.0 is available!
compiled it and works. can't attach it here because it is bigger than max attachment size. if anyone is interested, pm me.