Best way to update the Pico SDK?

[codaris]

Hello Miroslav,

I'm using this project as a graphics processor for an 8bit computer and it works great (I use the remaining pins and remaining PIO to connect to a 6502 8bit computer bus). I'm also using the Pico for USB keyboard and mouse support in the same project. In this work, I noticed that the Pico SDK included in this library is out of date. For my USB support, I manually updated the TinyUSB library to the latest version and just patched out anywhere there was a conflict with the older Pico SDK and that has worked.

However, I recently purchased a Pi Pico W for it's Wifi support and I'd like to use it with this project (giving my 8bit computer VGA, USB, and Wifi support). I'm sure I'm going to need to update the Pico SDK to make that work but I'm not exactly sure what you did originally to bring it into your build system. If you can provide any insight on that, I would appreciate it. I'm happy to provide a pull request with the updated code if I get it working either way.

Thanks!