diff --git a/platform/bare_metal/mbed_lib.json b/platform/bare_metal/mbed_lib.json new file mode 100644 index 0000000000..8a995c063d --- /dev/null +++ b/platform/bare_metal/mbed_lib.json @@ -0,0 +1,4 @@ +{ + "name": "bare-metal", + "requires": ["platform", "drivers"] +}