Да, ты прав, уже прочел. mbed начинался с LPCExpresso, на тот момент вариантов разработки и отладки оффлайн не было. Под уйти STM я понимал то, что все их Дискавери были заточены под mbed, хоть и с коннектором под ардуино шилды. Сейчас они во всю делают порты для поддержки оригинальным Ардуино.
http://www.arduino …ards/arduino-star-otto