By the way, on a running TC system, you can "install" extensions (making available) by just copying them into the
/etc/sysconfig/tcedir/optional
directory, and later "load" them (really install) with the tce-load command.
/etc/sysconfig/tcedir is a symlink which always points to the "tce-dir" currently in use, which, in case of piCore, usually corresponds to
/mnt/mmcblk0p2/tce/optional
.