I've decided to get into ARM development, but not vendor specific. Looking at freertos, it seems to support a number of ARM MCUs. I also read about mbed OS, which at least sounds like it will work on lower-end devices than freertos.
I'm thinking of starting with a 32K or even 16K stm32f030, which I think is too small for freertos. Anyone know about mbed OS?