программаторов овердохуя. Конкретно под ST есть STLINK V2, прошивается из программы "STM32 ST-LINK Utility" и из кейловского uVision, но uVision надо еще немного понастраивать. Именно для прошивки готового hex "STM32 ST-LINK Utility" намного http://www.st.com/web/en/catalog/tools/PF258168 лучше. Сама железка STLINK V2 по моему действительно входит в их дискавери и его оттуда можно использовать, даже не нужно что то пилить, там должны быть какие то джамперы, но не уверен. Сам STLINK V2 относительно не дорогой, можно его прикупить и не маяться фигней.