Hello,
if you have mbed-os in your project, then no library is missing.
Please be so kind and take a look to this old topic, there you will found a description how it works and maybe also a solution - MBED Studio cannot compile project - build configuration issue - Mbed Studio - Arm Mbed OS support forum
BR, Jan