menu "Example Configuration"

    config TARGET_DOMAIN
        string "Target Domain"
        default "www.baidu.com"
        help
            Target domain for the example to connect to.

    config TARGET_PORT_NUMBER
        int "Target port number"
        range 0 65535
        default 443
        help
            Target port number for the example to connect to.

endmenu