menu "Bedside clock settings"
     config DEFAULT_HOSTNAME
            string "The default hostname for the device"
            default "bedside-clock"
            prompt "Default hostname"
endmenu