I think that's just to get people who aren't used to setting up embedded systems toolchains an easy start a la Arduino. I didn't see anything that restricts th

I think that's just to get people who aren't used to setting up embedded systems toolchains an easy start a la Arduino. I didn't see anything that restricts the mbed SDK to the use of the ARM toolchain.