Currently I am working on an embedded system using an STM32F7 part, running on bare metal with no OS. I’m thinking of using MBED OS. It has a ton of features and middleware options that I could use (Ethernet/TCP/X.509). There are a lot of posts here saying that it is focused more for hobbyist use, but looking at their documentation it seems like its pretty commercial ready.
Has anyone here actually used MBED OS and have some thoughts on it?