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