I have been trying (albeit unsuccessfully) to build the SDK 0.2.0 and examples for PicoSystem
I have installed the SDK and can build with cmake + the visual studio compiler + run native windows builds of the examples
I have installed the ARM embedded toolchain (gcc et al) for Cortex-M devices
I have installed the rpi-2040 SDK and it can build its hello world (so I have a working cross compiler + toolchain etc)
Is there any documentation on how to get the 32blit SDK to use the pico-sdk?