Raspberry Pi port, piCore-14.0 is available!
echo etc/network/interfaces >> /opt/.filetool.lst
filetool.sh -b