<code>mbed-os (#fc1836545dcc, tags: mbed-os-5.4.7, mbed_lib_rev144)
* mbed-os-5.1.0
* mbed-os-5.1.1
* mbed-os-5.1.2
* mbed-os-5.1.3
* mbed-os-5.1.4
* mbed-os-5.1.5
* mbed-os-5.2.0
* mbed-os-5.2.1
* mbed-os-5.2.2
* mbed-os-5.2.3
* mbed-os-5.3.0
* mbed-os-5.3.1
* mbed-os-5.3.2
* mbed-os-5.3.3
* mbed-os-5.3.4
* mbed-os-5.3.5
* mbed-os-5.3.6
* mbed-os-5.4.0
* mbed-os-5.4.1
* mbed-os-5.4.2
* mbed-os-5.4.3
* mbed-os-5.4.4
* mbed-os-5.4.5
* mbed-os-5.4.6
* mbed-os-5.4.7 <- current</code>Is what it shows when I check which mbed-os I’m on with mbed releases.
And with git describe –match mbed-os* within mbed-os directory it gives the same version as well: mbed-os-5.4.7.
<code> [mbed] C:\Program Files (x86)\GNU Tools ARM Embedded\4.9 2015q3\bin </code>
Is what I get when I use command mbed config GCC_ARM_PATH.