- Use the same VERSION file format as rtems-tools so a common release
generation can be used.
- The version.py is almost the same as rtems-tools. There are some
minor differences, one is the RTEMS version is present in this
file while rtems-tool uses config/rtems-release.ini.
Updates #3822
- Downloads all files into a single directory
- Iterates over all supported hosts to get any host dependent source
no matter which host you run the command on.
Closes#3532