* scripts specify exact hardware CI device
* proteus serial number
* dropped this: |
* read envionment variable for correct port
* it's lowercase for whatever reason
* d'oh
* uncomment
* s
* f4 discovery serial numbers
* s
* debug mode openocd
* is that really the serial number?
* tolerate no SPI device
* remove debug flag
* kick to make sure machine still alive after move
* scripts specify exact hardware CI device
* proteus serial number
* dropped this: |
* read envionment variable for correct port
* it's lowercase for whatever reason
* d'oh