From 71b5e6088b525e099bf6fb67922be7c06665d73a Mon Sep 17 00:00:00 2001
From: dronecz <mzuzelka@gmail.com>
Date: Wed, 2 Nov 2022 22:07:28 +0100
Subject: [PATCH] Update mpconfigboard.mk

---
 ports/espressif/boards/maker_badge/mpconfigboard.mk | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/ports/espressif/boards/maker_badge/mpconfigboard.mk b/ports/espressif/boards/maker_badge/mpconfigboard.mk
index 6faba2aed3..bb96550da0 100644
--- a/ports/espressif/boards/maker_badge/mpconfigboard.mk
+++ b/ports/espressif/boards/maker_badge/mpconfigboard.mk
@@ -3,15 +3,6 @@ USB_PID = 0x2030
 USB_PRODUCT = "Maker badge"
 USB_MANUFACTURER = "Czech maker"
 
-IDF_TARGET = esp32s2
-
-INTERNAL_FLASH_FILESYSTEM = 1
-LONGINT_IMPL = MPZ
-
-# The default queue depth of 16 overflows on release builds,
-# so increase it to 32.
-CFLAGS += -DCFG_TUD_TASK_QUEUE_SZ=32
-
 CIRCUITPY_ESP32_CAMERA = 0
 
 CIRCUITPY_ESP_FLASH_MODE=dio