I've successfully made code that worked just fine with the online MBed IDE and gcc-none-arm-eabi, I don't recall anything having to be done differently, just more to setup locally (linker scripts and so on).
I've successfully made code that worked just fine with the online MBed IDE and gcc-none-arm-eabi, I don't recall anything having to be done differently, just more to setup locally (linker scripts and so on).
IIRC, most of the stuff they've added are surrounding libraries and such.
It's basically a canonical example of why the Affero GPL exists.
Furthermore, you don't even need to use their online IDE to do anything. The online IDE has an option to export your project such that it can be built with arm-none-abi-gcc and make[2], or you can use their mbed-cli tool, which is a python based command line tool, and is also on github[3].
The mbed guys have way embraced open source and working with existing tools, and I wished the community would embrace them more, since I think their API's beat the snot out of Arduino.
[1]: https://github.com/ARMmbed/mbed-os [2]: https://developer.mbed.org/handbook/Exporting-to-offline-too... [3]: https://github.com/ARMmbed/mbed-cli
I'll have to re-evaluate it the next time I need a little mcu board!