I stand corrected on the USB bit, actually -- it looks like you're using an alternate USB library which might avoid the licensing issue -- but some components o

I stand corrected on the USB bit, actually -- it looks like you're using an alternate USB library which might avoid the licensing issue -- but some components of OpenAMP are provided under this license, e.g. https://github.com/arduino/ArduinoCore-mbed/blob/e50ec8aa1b1cd3079566b66b22bf8ded5e253cbb/libraries/openamp_arduino/src/openamp.c https://github.com/arduino/ArduinoCore-mbed/blob/e50ec8aa1b1...