menu "Gas Monitor Configuration"
    config PULSE_COUNT_PIN
        int "Input pin for the pulse counter"
        default 6
        help
            GPIO pin used as the input for the pulse counter

    config PULSE_COUNT_WAKEUP_LIMIT
        int "Wake-up pulse count limit"
        default 10
        help
            Number of pulses counted after which the ULP will wake up the main CPU

    config WIFI_SSID
        string "WiFi SSID"
        default "myssid"
        help
            SSID (network name) for the device to connect to.

    config WIFI_PASSWORD
        string "WiFi Password"
        default "mypassword"
        help
            WiFi password (WPA or WPA2) for the device to use.

    config METRICS_SERVER_URL
        string "Metrics Server URL"
        default "http://example.com/api/metrics"
        help
            HTTP endpoint URL to POST metrics data to.

endmenu