There's an SVD file, so no need to use any other headers: https://github.com/raspberrypi/pico-sdk/blob/master/src/rp2040/hardware_regs/rp2040.svd
We discussed in the past about the license that would apply to a header auto-generated from the SVD but I'm not sure if we arrived at any conclusion (the rationale was that in the end was data that would be obtained from the datasheet or from other public sources). Still, the SVD is BSD3 so we would be OK if we had to use that license to the output. Best, Matias On Wed, Jan 27, 2021, at 21:37, Justin Mclean wrote: > 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
