From f3f4430b8f67668b97c7f5e8c2fe0f40dcd758fc Mon Sep 17 00:00:00 2001
From: 0xc0170 <c0170@rocketmail.com>
Date: Wed, 8 Jun 2016 18:41:29 +0100
Subject: [PATCH] RTOS - add config mbed_lib.json file

Defines that rtos is present, this resolves in the macro:
"MBED_CONF_RTOS_PRESENT=1"
---
 rtos/mbed_lib.json | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 rtos/mbed_lib.json

diff --git a/rtos/mbed_lib.json b/rtos/mbed_lib.json
new file mode 100644
index 0000000000..c0d9e20bdc
--- /dev/null
+++ b/rtos/mbed_lib.json
@@ -0,0 +1,6 @@
+{
+    "name": "rtos",
+    "config": {
+        "present": 1
+    }
+}