From fa50047bbc25a2db53ef2c38b7735a4dedb23b21 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Thu, 27 Dec 2018 14:20:31 +1100
Subject: [PATCH] py/runtime: Unlock the GIL in mp_deinit function.

This mirrors what is done in mp_init.  Some RTOSs require this symmetry to
get back to a clean state (when doing a soft reset, for example).
---
 py/runtime.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/py/runtime.c b/py/runtime.c
index e512b8b0d8..c1e0478135 100644
--- a/py/runtime.c
+++ b/py/runtime.c
@@ -129,6 +129,8 @@ void mp_init(void) {
 }
 
 void mp_deinit(void) {
+    MP_THREAD_GIL_EXIT();
+
     //mp_obj_dict_free(&dict_main);
     //mp_map_deinit(&MP_STATE_VM(mp_loaded_modules_map));