Raspberry Pi port, piCore-15.0 is available!
tce-load -wi base-dev.tczwget 404 not found
...bacon-doc.tczbacon.tczbase-locale.tczbash-dev.tczbash.tczbc.tcz...
There is no base-dev.tcz .