Pint: Reduce user filesystem to fit firmware.

2025-02-10 11:26:00 +00:00 · 2025-02-10 11:26:00 +00:00 · 0854c8fbf3
commit 0854c8fbf3
--- 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