Tiny 2350 - RGB LED PWM Pico SDK

Thanks! Noob here: I can confirm this code runs on a Tiny2350 (flashed earlier with MicroPython), this code being saved onto it, and run from Thonny. The LED blinks in alternating 3 colors: red, blue, and green

Note: I installed Thonny from python’s uv.