Will this work with the pico-ice FPGA/RP2040 dev board?

[frohro]

I am considering purchasing one of these for an SDR project. https://github.com/tinyvision-ai-inc/pico-ice I have had good experiences with the Arduino Pico framework. Will it work with the pico-ice? Are there any gotchas I should be aware of?
Rob

[earlephilhower]

This core can build code for the RP2040 that's onboard if you set the right flash type and size, but it's probably not going to be compatible with their own FPGA libraries. You could probably port them, but you might better spend your time just using the turnkey, raw Pico-SDK based code they already have.