menu "Example Configuration"

    config EXAMPLE_PORT
        string "Asio example server port number"
        default "2222"
        help
            Port number used by Asio example

endmenu