VS Code Microsoft'un kendi yazılımı. Windows desteklememesi mantıklı değil. Muhakkak bir hatanız olmalı. Her neyse Raspberry Pi Pico 133 MHz çift çekirdekli ARM Cortex M0+ tabanlı modern bir kontrolcü. Bu bahsettiğiniz projeyi MicroPython ile rahat rahat yapabilirsiniz. Kodunuzu optimize edip yeniden yazmanızı öneririm.
İlle de C veya C++ ile programlamak isterseniz de IDE olarak VS Code öneririm. Google'da "Getting started with Raspberry Pi Pico" diye aratırsanız eğer ilk sırada resmi Raspberry dokümanı çıkacaktır. İlgili PDF içinde C ve C++ programlamak için SDK ve toolchain kurulumları tarif ediliyor. Ayrıca konu ile ilgili video rehberler de bulunabilir.