Thanks. Here is how I did this: In /etc/network/interfaces, changed interface eth0 to a static IP address (including netmask and gateway). If one reboots at this point, this gets overwritten (presumably by settings saved in EEPROM), as per the "DO NOT EDIT" warning. Instead, restart networ...