mbed export

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

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