Pint: Reduce user filesystem to fit firmware.

Gadgetoid · Gadgetoid · commit 9a36a5d4c219 · 2025-02-10T11:32:15.000Z
diff --git a/micropython/board/RPI_PICO_PINT/mpconfigboard.h b/micropython/board/RPI_PICO_PINT/mpconfigboard.h
@@ -1,6 +1,6 @@
 // Board and hardware specific configuration
 #define MICROPY_HW_BOARD_NAME                   "Raspberry Pi Pico"
-#define MICROPY_HW_FLASH_STORAGE_BYTES          (1408 * 1024)
+#define MICROPY_HW_FLASH_STORAGE_BYTES          (848 * 1024)
 
 // Enable networking.
 #define MICROPY_PY_NETWORK                      1
