Raspberry Pi port, piCore-15.0 is available!
md5sum: can't open '/etc/sysconfig/tcedir/import/debinx/NEWDEBINX': File o directory non esistente