# ntnu-octo-00x cfg_hostname='ntnu-octo-001' cfg_eth_ext_ip='10.0.60.225' cfg_eth_ext_mk='255.255.0.0' cfg_eth_ext_gw='10.0.60.1' cfg_ptpd_interface='eth0' cfg_packages='u-boot dropbear rsync busybox e2fsprogs ptpd i2c-tools am33xx-cm3/host linux rtklib libphidget ethtool socat openssl openssh sshpass' cfg_services1='vsp_pair rtc-ds3231 rtklib_rtkrcv'