Hello Amelia,
how you can see my post above is more than year old and there is stil no reaction at all.
Unfortunately, Mbed OS is a maintenance mode from January 2022, the development of new features and bugfixes by ARM stopped. Bugfixes from community side are still being accepted, but nothing more.
Just for info, there were also started MbedCE (Mbed Community Edition) as a fork of ARM MbedOS .
BR, Jan