Raspberry Pi port, piCore-16.0 is available!
Updated /opt/.xfiletool.lst - added opera/cache4, dropped home/tc.wbar