Raspberry Pi port, piCore-15.0 is available!
I can try it when 1.0.8 will be out... (in about one week)