Graham Sanderson

Moved to 1.2.1 as I think i want to put the stuff in platform.h after all

picotool already does

the `picotool reboot` already supports options to specify which type of boot you want (flash boot or usb boot), has since the get go; it is in master

This seems like a useful addition, as the random bit is not sufficiently random if polled at high frequency

Yup; i have thought about this too - we obviously wont be doing a new ROM revision just for that though! It's on the list

The title of this issue is very unclear. Is the issue actually, that *your* version of a picoprobe appears to work less well when compiled against SDK1.4.0 vs SDK1.3.1?

@Wren6991 said he had ordered a display, so assigning to him

can you paste the error; not sure how/why `cyw43_ll.c` would end up including `flash.h` even in that case?

> The CYW43 driver doesn't include flash.h, it just happens to define its own macro called FLASH_BLOCK_SIZE. So when you enable USB MSC on the Pico W, there are two...

yeah, adding __thread support makes sense (but then reentrant support for lib functions makes sense which probably suggests we should build newlib ourselves with different options compared to the one...