mbed-os/platform/bare_metal/mbed_lib.json

{
  "name": "bare-metal",
  "requires": ["platform", "drivers", "rtos-api"]
}