Hi, > Copyright © 2020 Raspberry Pi (Trading) Ltd. The documentation of the RP2040 > microcontroller is licensed under a Creative Commons > Attribution-NoDerivatives 4.0 International (CC BY-ND). Portions Copyright © > 2019 Synopsys, Inc. All rights reserved. Used with permission. Synopsys & > DesignWare are registered trademarks of Synopsys, Inc. Portions Copyright © > 2000-2001, 2005, 2007, 2009, 2011-2012, 2016 ARM Limited. All rights > reserved. Used with permission.
Being BSD it abdul be OK. The other bits of code “used with permission” might be an issue as they are unlikely to be under an open source license and NuttX would need to get permission to use them. May need to clarify on the legal discuss list. Thanks, Justin
