# ntnu-hexa-00x cfg_hostname='ntnu-hexa-001' cfg_eth_ext_ip='10.0.60.200' 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 libphidget' cfg_services1='rtc-ds3231'