40 lines
1.4 KiB
Plaintext
40 lines
1.4 KiB
Plaintext
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 300
|
|
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 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 300000
|
|
config DEFAULT_TASK_STACK
|
|
int "Default task stack size (in words)"
|
|
default 4096
|
|
endmenu
|