Raspberry Pi port, piCore-14.0 is available!
$ tce-setdrive
Your TCE Drive, /etc/sysconfig/tcedir, has already been selected!