Raspberry Pi port, piCore-15.0 is available!
Four stable updates in two weeks is plain scary, far above the usual pace. I would stay away from that version just because of that, it clearly signs it's not stable.