menu "Bedside clock settings"
     config DEFAULT_HOSTNAME
            string "Default hostname"
            default "bedside-clock"
     config DEFAULT_SSID
            string "SSID of default WiFi network"
            default ""
     config DEFAULT_PSK
            string "PSK for default WiFi network"
            default ""
     config DEFAULT_TIMEZONE
            string "Default timezone"
            default "Europe/London"
     config WIFI_MAX_RETRIES
            int "Maximum number of times to retry connecting to WiFi network"
            default 10
endmenu