guberti opened a new pull request, #11629: URL: https://github.com/apache/tvm/pull/11629
This PR removes the version from the names of the microTVM reference VMs on Vagrant Cloud. In the past, the reference VMs for microTVM had names like `microtvm-zephyr-2.7` or `microtvm-arduino-0.18.3`. This made some sense for Zephyr, as much of the functionality of Zephyr is tied only to the version number. However, it never made much sense for Arduino (as the `arduino-cli` SDK version does not affect behavior very much - only the board SDK versions do), and it is unlikely this naming scheme would make sense as we add more types of RVMs. Even for Zephyr, this naming scheme forces us to have multiple RVMs listed on Vagrant Hub, even though we only update one (microtvm-zephyr-2.7, the least downloaded one). By changing the RVM names to `microtvm-zephyr` and `microtvm-arduino`, the naming scheme will make more sense for non-Zephyr boards, and will make the Zephyr RVM versioning less confusing. With this change, versions for `arduino-cli` and Zephyr will instead be set by the scripts that build the reference VMs (the same way we do board SDK versioning). -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
