From e4ac104b7f2980114c6d1b0d8ff5917777cf8f24 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Fri, 8 Mar 2019 22:29:54 +1100
Subject: [PATCH] stm32: Allow to build with threading with the GIL disabled.

---
 ports/stm32/gccollect.c    | 2 +-
 ports/stm32/mpthreadport.c | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ports/stm32/gccollect.c b/ports/stm32/gccollect.c
index d92fc5cef0..5c1bf1e06d 100644
--- a/ports/stm32/gccollect.c
+++ b/ports/stm32/gccollect.c
@@ -27,7 +27,7 @@
 #include <stdio.h>
 #include <stdint.h>
 
-#include "py/obj.h"
+#include "py/mpstate.h"
 #include "py/gc.h"
 #include "py/mpthread.h"
 #include "lib/utils/gchelper.h"
diff --git a/ports/stm32/mpthreadport.c b/ports/stm32/mpthreadport.c
index 11653b24cf..7b3b92934b 100644
--- a/ports/stm32/mpthreadport.c
+++ b/ports/stm32/mpthreadport.c
@@ -26,6 +26,7 @@
 
 #include <stdio.h>
 
+#include "py/mpstate.h"
 #include "py/gc.h"
 #include "py/mpthread.h"
 #include "gccollect.h"