# Use dedicated PIO on Raspberry Pi Pico for RGB LEDs:
WS2812_DRIVER = vendor