6 years, 3 months ago.  This question has been closed. Reason: Duplicate question

How to switch between different OS compiler systems?

I have been away from Mbed for some time (over a year). I notice now that we have OS5 and a bit and few days later a bit more. My question is, the 'hardware' - 'boards' section shows 'Mbed OS support', how do I select between the different OS's if my board, for instance 'NUCLEO-L476RG' supports all of them and why would I want to use a different one?

I use Mbed-Dev system files because I want my L476 to run at 80 MHz (no USB support). I updated from, I believe OS2 to the latest, changed the clock settings and all is well.

I found the answer, MBED-DEV is the OS2, MBED-OS is the latest.