Raspberry Pi port, piCore-15.0 is available!
FailedUpdates complete.
Ok, saw the issue, should be fixed now.