qmk_firmware/platforms/chibios/drivers/vendor/RP/RP2040
..
ps2_vendor.c
serial_vendor.c
ws2812_vendor.c