Raspberry Pi port, piCore-15.0 is available!
Copy those extensions, their dep files and their dependencies to /mnt/mmcblk0p2/tce/optional