Can I mirror firmware?

TinyCLR OS
1

Am I allowed to import TinyCLR firmware files into my own GitHub repository (https://github.com/pmunts/arm-mcu)?

2

The firmware sources are not public

3

I was referring to the firmware image .ghi files, not the sources. Can I check the .ghi files into my repository?

As a concrete example of what I want to do, compare:

https://github.com/pmunts/arm-mcu/tree/main/micropython

and

https://github.com/pmunts/arm-mcu/tree/main/tinyclr

The former has a subdirectory firmware that contains MicroPython firmware image files. The latter does not have a firmware subdirectory (yet).

4

You may host the firmware file