From 96c08a8ab72faeda605354c2f34e160799b815cb Mon Sep 17 00:00:00 2001
From: Marcelo Salazar <mlnx@users.noreply.github.com>
Date: Thu, 30 Jun 2016 20:04:00 +0100
Subject: [PATCH] Update mbed-os.lib

This is required to use the EPR version of mbed. Verified it builds ok.
---
 mbed-os.lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mbed-os.lib b/mbed-os.lib
index f4f498f3c..69a8a41ca 100644
--- a/mbed-os.lib
+++ b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#c55c09ab21d243279f2370fc0483cc479b9d1262
+https://github.com/ARMmbed/mbed-os/#8e35c53493956aee3b390b7a6c311c67545e4eff