Кажется, здесь есть некоторая путаница между Mbed OS, которая является проектом с открытым исходным кодом, и Mbed Compiler Service, которая является инструментом, который делает начало работы с Mbed OS очень простым.
Mbed OS с открытым исходным кодом, вы можете найти его здесь: http://github.com/armmbed/mbed-os, Я призываю вас внести свой вклад, отправив запрос на извлечение.
Служба онлайн-компиляции работает командой Arm Mbed, чтобы обеспечить простой способ начать компиляцию ваших программ (существуют некоторые предположения и разумные значения по умолчанию, поэтому все «просто работает»).Вы можете экспортировать свои программы в сторонний компилятор, такой как Keil, IAR или GCC / Eclipse для отладки, если вам это нужно.Вы также можете использовать Mbed CLI в автономном режиме для компиляции кода с помощью GCC.(Забавно, что Mbed CLI - это тот же набор инструментов командной строки, который используется онлайн-компилятором).
Дополнительный интересный факт: онлайн-компилятор использует armcc (тот же, что поставляется с Keil), где GCC является значением по умолчанию для Mbed CLI (хотя, если у вас есть разрешение для armcc или iarcc, вы можете использовать его сMbed CLI также.