The compiler complained:
In file included from .../mbed-os/drivers/usb/source/USBCDC_ECM.cpp:19:
.../mbed-os/drivers/usb/include/usb/USBCDC_ECM.h:27:10: fatal error: events/EventQueue.h: No such file or directory
27 | #include "events/EventQueue.h"
| ^~~~~~~~~~~~~~~~~~~~~
The Arm Compiler is case sensitive and unable to distinguish
between `Thread.h` from Mbed OS RTOS and `thread.h` from TF-M's
OS wrapper, for example. This resolves compilation failures due to
wrong includes.
To resolve this, use the fully-qualified include paths for the
RTOS API.