Jamie Smith

I think, to debug this further, you could try adding lines inside Mbed like ``` #include ... printf("Current time as of SOME_EVENT: %" PRIi64 "us", ticker_read_us(get_us_ticker_data())); ``` This would let...

Yes, you'd have to recompile Mbed to change those I'm afraid. In Mbed, that config file is [here](https://github.com/mbed-ce/mbed-os/blob/master/connectivity/lwipstack/include/lwipstack/lwipopts.h), and it's currently largely driven by JSON options from [here](https://github.com/mbed-ce/mbed-os/blob/master/connectivity/lwipstack/mbed_lib.json5#L5). You could...

OK I did some investigation into this issue. I was able to reproduce it with the Arduino web server example. I dug into it a bit, and that example program...

Hmm, on further testing, turns out that flashing doesn't actually work with the above workaround. I have to run ```python jlink.exec_command('DEVICE_SelectLoader BankAddr=0x60000000 Loader=QSPI') ``` before calling connect(). Maybe connect() could...

Hmm, I think it might be possible to have a loader string with multiple banks and loaders for them? I'm not sure what the syntax would look like though. Maybe...

fwiw, I think pyocd actually does support these boards now, even though openocd and st-link still do not. So you might want to try adding `cmsis-dap` as an upload protocol....

@nordicjm @d3zd3z Would you have a chance to take a look at this soon? This PR only touches docs and the CMake scripts used by Mbed, so it should be...