Hi I noted the rather swanky looking microlib
http://www.keil.com/arm/microlib.asp 
And whilst it is perhaps not any use to we older device owners I just wondered where it ranked on the ARM Compiler toolchain? 7 and 9 series support is there AIUI
It's not a free tool.
Was thinking about bothering to get an eval copy
https://www.keil.com/demo/eval/arm.htm if I upgrade my device.
it never hurts to see what's out there
Anyone actually had a look at it? Can't seem to figure out if the complete software offering is Linux compatible
ho hum.
Anyways, that was my thought for the day. and more coffee