From 57db27770b6d96486153536bccd45b414c84bd05 Mon Sep 17 00:00:00 2001
From: David Goodlad <david@goodlad.net>
Date: Wed, 24 Apr 2019 09:27:32 +1000
Subject: [PATCH] Patch the SDK to fix missing __get_IPSR symbol

It's dead code but...
---
 vendor/sdk/component/os/freertos/cmsis_os.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/vendor/sdk/component/os/freertos/cmsis_os.c b/vendor/sdk/component/os/freertos/cmsis_os.c
index 894011c..030862a 100644
--- a/vendor/sdk/component/os/freertos/cmsis_os.c
+++ b/vendor/sdk/component/os/freertos/cmsis_os.c
@@ -1,7 +1,6 @@
-
-
 #include "cmsis_os.h"
 #include "diag.h"
+#include "rtl8195a.h"
 
 #define CMSIS_OS_ERR(fmt, args...)          DBG_8195A("\n\r%s: " fmt, __FUNCTION__, ## args)