unredistributable *.ld files under non-free license

[josch]

Operating System

Linux

Board

n.a.

Firmware

n.a.

What happened ?

I'm trying to package tinyusb for inclusion in Debian. I was thus reading through all the copyright of the included files and found this:

**  (c)Copyright Ac6.
**  You may use this file as-is or modify it according to the needs of your
**  project. Distribution of this file (unmodified or modified) is not
**  permitted. Ac6 permit registered System Workbench for MCU users the
**  rights to distribute the assembled, compiled & linked contents of this
**  file as part of an application binary file, provided that it is built
**  using the System Workbench for MCU toolchain.

This statement is attached to the following files:

 hw/bsp/stm32f0/boards/stm32f072disco/STM32F072RBTx_FLASH.ld
 hw/bsp/stm32f1/boards/stm32f103_bluepill/STM32F103X8_FLASH.ld
 hw/bsp/stm32f1/boards/stm32f103_mini_2/STM32F103XC_FLASH.ld
 hw/bsp/stm32f2/boards/stm32f207nucleo/STM32F207ZGTx_FLASH.ld
 hw/bsp/stm32f3/boards/stm32f303disco/STM32F303VCTx_FLASH.ld
 hw/bsp/stm32f4/boards/feather_stm32f405/STM32F405RGTx_FLASH.ld
 hw/bsp/stm32f4/boards/pyboardv11/STM32F405RGTx_FLASH.ld
 hw/bsp/stm32f4/boards/stm32f401blackpill/STM32F401VCTx_FLASH.ld
 hw/bsp/stm32f4/boards/stm32f407disco/STM32F407VGTx_FLASH.ld
 hw/bsp/stm32f4/boards/stm32f411blackpill/STM32F411CEUx_FLASH.ld
 hw/bsp/stm32f4/boards/stm32f411disco/STM32F411VETx_FLASH.ld
 hw/bsp/stm32f4/boards/stm32f412disco/STM32F412ZGTx_FLASH.ld
 hw/bsp/stm32f4/boards/stm32f412nucleo/STM32F412ZGTx_FLASH.ld
 hw/bsp/stm32f7/boards/stlinkv3mini/STM32F723xE_FLASH.ld
 hw/bsp/stm32f7/boards/stm32f723disco/STM32F723xE_FLASH.ld
 hw/bsp/stm32f7/boards/stm32f746disco/STM32F746ZGTx_FLASH.ld
 hw/bsp/stm32f7/boards/stm32f746nucleo/STM32F746ZGTx_FLASH.ld
 hw/bsp/stm32f7/boards/stm32f767nucleo/STM32F767ZITx_FLASH.ld
 hw/bsp/stm32f7/boards/stm32f769disco/STM32F769ZITx_FLASH.ld
 hw/bsp/stm32h7/linker/stm32h743xx_flash.ld
 hw/bsp/stm32l0/boards/stm32l052dap52/STM32L052K8Ux_FLASH.ld
 hw/bsp/stm32l0/boards/stm32l0538disco/STM32L053C8Tx_FLASH.ld
 hw/bsp/stm32l4/boards/stm32l412nucleo/STM32L412KBUx_FLASH.ld
 hw/bsp/stm32l4/boards/stm32l476disco/STM32L476VGTx_FLASH.ld
 hw/bsp/stm32l4/boards/stm32l4r5nucleo/STM32L4RXxI_FLASH.ld

Is this copyright information correct? If yes, we cannot distribute it.

How to reproduce ?

n.a.

Debug Log as txt file (LOG/CFG_TUSB_DEBUG=2)

n.a.

Screenshots

No response

I have checked existing issues, dicussion and documentation

• [X] I confirm I have checked existing issues, dicussion and documentation.