Re: how to add unique_id for Raspberry Pi Pico?

[Adam Comley]

Hi Anders,

I recently had a need for this feature as well, and put together a PR 
based on the pico-sdk implementation.  See:

https://github.com/apache/nuttx/pull/11927

Hope this helps.

-- Adam