# ntnu-hexa-00x cfg_hostname='ntnu-hexa-003' cfg_eth_ext_ip='10.0.60.210' 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' cfg_services1='vsp_pair rtc-ds3231 force_10mbit rtklib_rtkrcv'