From dc4abb922bc7209d29dfb116e13dd58eec874289 Mon Sep 17 00:00:00 2001
From: Hierophect <hierophect@gmail.com>
Date: Thu, 3 Oct 2019 15:40:46 -0400
Subject: [PATCH] Revert accidental OS delete

---
 ports/stm32f4/mpconfigport.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ports/stm32f4/mpconfigport.mk b/ports/stm32f4/mpconfigport.mk
index 985c4a18ae..93b22dc6af 100644
--- a/ports/stm32f4/mpconfigport.mk
+++ b/ports/stm32f4/mpconfigport.mk
@@ -20,6 +20,7 @@ CIRCUITPY_DIGITALIO = 1
 CIRCUITPY_ANALOGIO = 1
 CIRCUITPY_MICROCONTROLLER = 1
 CIRCUITPY_BUSIO = 1
+CIRCUITPY_OS = 1
 
 #ifeq ($(MCU_SUB_VARIANT), stm32f412zx)
 #endif