How do I build for different boards?

[Aaron M]

Sorry if this is inappropriate for the list, but I'm a relative noob to 
Nuttx, and I'm just trying to find my way.  I'll go elsewhere if you 
point me in the correct direction for questions like this.

My exposure to Nuttx has been strictly limited to Sony's Spresense, and 
I have a suitable working environment in VSCode with Sony's SDK.  But if 
I want to build for, say, the FRDM KL-25, or the RPi Pico 2, can I use 
the same environment, er, somehow?  Do I need to download separate 
copies of the repo of Nuttx for each board?

This link has a nice overview, but it doesn't cover how to handle 
multiple boards:
https://www.cocoacrumbs.com/blog/2021-10-25-nuttx-on-the-stm32f769-disco-board/ 


Thanks for any insight, and my deepest apologies if this is the wrong 
place for these questions.

Aaron