I wrote an article about setting up the Raspberry Pi Pico SDK on a macOS. The Pico is an RP2040 board with an Arm Cortex-M0+ microprocessor that supports programming in Arduino, C/C++, and MicroPython.