Graham Sanderson

Does this actually work as expected; I would think you need `FORCE` on the set commands

I updated the fix to have the `PICO_CYW43_SUPPORTED` not be a cache variable

See also #27 for now, you can implement `int _gettimeofday (struct timeval *__restrict __p, void *__restrict __tz)` yourself. I think this is more useful to implement now in the SDK...

that is expected; the problem is an interaction with stdio_usb (although that is not the bug) The issue is that the IRQ claiming is done per core, however the vector...

yeah there is no regular LED on the Pico W; it would seem reasonable to allow building without a LED. It would be a separate task to make a PicoW...

merged into develop

all dependencies issues are moving to 1.5.0

You could move the VGA output, but much easier to just use UART1 on pins 20/21 e.g. using `PICO_BOARD=vgaboard`

yeah, actually i had intended to make this `inline` anyway (and the `uxtb` is superfluous ;-))

merged into develop