menu "Bedside clock settings"
     menu "Default 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 DEFAULT_SNTP_SERVER
                 string "Default SNTP server domain"
                 default "pool.ntp.org"
     endmenu
     menu "Alert sound options"
          config ALERT_FREQ
                 int "Frequency (in Hz) of the alert sound"
                 default 400
          config ALERT_AMPLITUDE
                 int "Amplitude (0 to 255) of the alert sound"
                 default 180
          config ALERT_TOGGLE_PERIOD_MS
                 int "Toggle period of alert sound in milliseconds"
                 default 300
     endmenu
     config ALERT_MINUTES
            int "Number of minutes before alarm turned off automatically"
            default 2
     config SNOOZE_MINUTES
            int "Number of minutes to snooze alarms for"
            default 5
     config WIFI_MAX_RETRIES
            int "Maximum number of times to retry connecting to WiFi network"
            default 10
     config TIME_SAVE_PERIOD_MS
            int "How often (in ms) to save the time to persistent storage"
            default 60000
     config DEFAULT_TASK_STACK
            int "Default task stack size (in words)"
            default 4096
     config MAX_ALARMS
            int "Maximum number of alarms"
            default 16
endmenu