После добавления нового исходника в проект под mbed-os, достаточно вызвать mbed export, чтобы создался новый Makefile
в котором будут подхвачены новые файлы и ничего руками править уже не нужно. Мило

mbed export -i GCC_ARM -m NUCLEO_F401RE --source . --source ../mbed-os -v

Обновившийся mbed-cli наконец-то позволяет держать единый экземпляр mbed-os для нескольких разных проектов, что сильно экономит место. Но для начала надо обновить mbed-cli. У меня с версией 1.4 были проблемы и пришлось обновить:
pip install -U mbed-cli

С обновлённой 1.7.5 всё заработало.

Последовательность команд такая:
( Read more... )