diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-02-23 16:58:17 -0500 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-02-23 16:58:17 -0500 |
| commit | 4398d7ecdf432a2211a9d93deaedb721648dbb15 (patch) | |
| tree | f9f6e8d33ff74a340e57c04d12283e72d9829ad0 /libraries/mbed/rtos | |
| parent | 189df371631a2b7bef91803d449e47470ad6a7bf (diff) | |
Speed up file upload enormously.
We need to start with a long serial timeout, in order to catch the reboot
messages for a firmware upload (this has to be done through the bootloader).
But once we start sending the file, cut the serial timeout to 1ms. (I've
tested it down to 1us, but that may not work for everyone, and it doesn't
improve performance in a statistically significant way.)
This brings the time to upload a 4.5MB bitstream from 38:23 to 1:25.
Diffstat (limited to 'libraries/mbed/rtos')
0 files changed, 0 insertions, 0 deletions