diff --git a/platform/bare_metal/mbed_lib.json b/platform/bare_metal/mbed_lib.json index fadb1519c1..93b0553265 100644 --- a/platform/bare_metal/mbed_lib.json +++ b/platform/bare_metal/mbed_lib.json @@ -1,4 +1,4 @@ { "name": "bare-metal", - "requires": ["platform", "drivers", "rtos-api"] + "requires": ["platform", "drivers", "rtos-api", "mbed-trace"] }