From ac56eaeeabd29f1dbcdcfc836f60f2db3bf81d30 Mon Sep 17 00:00:00 2001
From: oclyke <owen.lyke@sparkfun.com>
Date: Mon, 23 Nov 2020 09:50:55 -0700
Subject: [PATCH] change to mbed-os w/ precompiled header

---
 cores/mbed-os | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cores/mbed-os b/cores/mbed-os
index 14231bc..ef42d9b 160000
--- a/cores/mbed-os
+++ b/cores/mbed-os
@@ -1 +1 @@
-Subproject commit 14231bca36940a24f1222c30da46e4d0c32594d5
+Subproject commit ef42d9b7e6effab9b0e2f8e551e0aa4fd6aae188