Hi @Jason, If I click the libraries tab in the Studio, there is just one library as follows:
mbed-os 5.15.3
Commit: b6370b4c37f3d4665ed1cdcb1afea85396bba1b3
Imported from: https://github.com/ARMmbed/mbed-os/
I’m guessing that that this is the version you mention.
How do I roll back to GCC in the studio?
I did find this fairly recent post https://forums.mbed.com/t/mbed-studio-gnu-arm-gcc/5429 which says it is impossible to switch back to GCC_ARM.
Again, I am a Newbie when it comes to mBed (although I do have experience with other platforms such as Rasberry PI, Arduino, ESP etc).