From aba4c50e74af1301e2b5fe1ee5198ddea92879fd Mon Sep 17 00:00:00 2001
From: RetiredWizard <github@retiredwizard.com>
Date: Wed, 26 Apr 2023 21:08:28 -0400
Subject: [PATCH] Add adafruit_sdcard as frozen library

---
 .../raspberrypi/boards/pimoroni_pico_dv_base/mpconfigboard.mk  | 3 +++
 .../boards/pimoroni_pico_dv_base_w/mpconfigboard.mk            | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/ports/raspberrypi/boards/pimoroni_pico_dv_base/mpconfigboard.mk b/ports/raspberrypi/boards/pimoroni_pico_dv_base/mpconfigboard.mk
index 8546a32c93..d5d90c6b4b 100644
--- a/ports/raspberrypi/boards/pimoroni_pico_dv_base/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/pimoroni_pico_dv_base/mpconfigboard.mk
@@ -10,3 +10,6 @@ EXTERNAL_FLASH_DEVICES = "W25Q16JVxQ"
 
 CIRCUITPY__EVE = 1
 CIRCUITPY_PICODVI = 1
+
+# Include these Python libraries in firmware.
+FROZEN_MPY_DIRS += $(TOP)/frozen/Adafruit_CircuitPython_SD
\ No newline at end of file
diff --git a/ports/raspberrypi/boards/pimoroni_pico_dv_base_w/mpconfigboard.mk b/ports/raspberrypi/boards/pimoroni_pico_dv_base_w/mpconfigboard.mk
index cf37a7e401..83e0764ab4 100644
--- a/ports/raspberrypi/boards/pimoroni_pico_dv_base_w/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/pimoroni_pico_dv_base_w/mpconfigboard.mk
@@ -24,3 +24,6 @@ CIRCUITPY_PICODVI = 1
 CFLAGS += -DCYW43_PIN_WL_HOST_WAKE=24 -DCYW43_PIN_WL_REG_ON=23 -DCYW43_WL_GPIO_COUNT=3 -DCYW43_WL_GPIO_LED_PIN=0
 # Must be accompanied by a linker script change
 CFLAGS += -DCIRCUITPY_FIRMWARE_SIZE='(1536 * 1024)'
+
+# Include these Python libraries in firmware.
+FROZEN_MPY_DIRS += $(TOP)/frozen/Adafruit_CircuitPython_SD
\ No newline at end of file