Ежедневные билды кода (папка «ports/stm32/») для PyBoard можно найти ниже. Версия платы написана на ней самой – например, для плат с надписью «PYBv1.0» нужно использовать файлы типа «pybv10_xxx.dfu».
Для каждой платы есть разные версии прошивки, скомпилированные под разные задачи. Первой идет «стандартная» прошивка – именно с ней поставляются платы PyBoard. Если вы не уверены, какая версия вам нужна, смело начинайте именно со стандартной версии. В прошивке типа «числа с плавающей точкой двойной точности» используются, соответственно, числа с плавающей точкой двойной точности вместо стандартной одинарной точности. Билды типа «многопоточность» содержат модуль _thread и поддерживают использование многопоточности. В билды типа «сеть» встроены сетевые драйверы для CC3000 и WIZ820io. Все эти версии полностью взаимозаменяемы, и вы можете свободно переключаться с одной на другую, не рискуя потерять файловую систему на PyBoard.
У каждого из этих типов тоже есть по несколько версий. Первой в списке идет самая новая, а затем идут более старые (и, возможно, более стабильные) версии. Список изменений, внесенных в каждую версию, можно найти тут.
Загрузив нужный DFU-файл, вы можете напрямую записать его на PyBoard при помощи DFU-программатора. Более подробно о записи DFU-прошивок на Windows читайте тут, а на Linux и Mac – тут.