menu "TVM Build Options"
    config TVM_DIR
        string "Path to TVM"
        default "$(TVM_SRC)"
        help
            TVM directory path.
    config TVM_CRT_CONFIG_DIR
        string "Path to crt_config"
        default "crt_config"
        help
            TVM crt_config path.
endmenu
