Raspberry Pi port, piCore-15.0 is available!
For reference, that extension does not add "all" firmware, only those that ship with the kernel. For undistributable / vendor firmware users still need to get them from the vendor.