Raspberry Pi port, piCore-15.0 is available!
Send a PM to the original maintainer and request an update. If no success then resubmit your query to the forum and hopefully a developer can provide the update. There's a special child-board named Extension Requests.