mbed и mbed-OS в частности - кто что знает из последнего? Открыли какую-то часть исходников => Смотрел кто-нибудь? https://github.com/ARMmbed/mbed-os
Свои исходники потом можно забрать от них? Прошивки можно оффлайн разрабатывать, теперь это есть. Нашёл документацию у них на github, сейчас гораздо интересней, чем когда её первый раз здесь упоминали.
Можно говнокодить на питоне
ссылка