Raspberry Pi port, piCore-15.0 is available!
It is a mis-statement to say it was removed. It was never included for reasons that have already been stated!