でLEDブリンク上手くいかないと言っていましたが、何故ならばPico WのLEDポートはPicoとは違う（無線モジュールのポートに割り当てられている）から、従ってPico用のHALでは上手く動かない。MicroPythonやArduinoIDEではすでに差分が吸収されて使えるようになっています。

Pico W用のHALは今現在活発に開発が進められていてますが、まだ安定使用には達していないと思える。