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