File system size ?

[hippy]

Page 113 of "Getting Started with MicroPython on Raspberry Pi Pico" PDF -

"Warning: Your Pico’s file system is 128kB in size"

Is that correct ?

Code: Select all

>>> import os
>>> os.statvfs("/")
(4096, 4096, 354, 349, 349, 0, 0, 0, 0, 255)

I always thought the file system size was [1] * [2], 4096*354 = 1441792 = 1.375 MiB

That matches with the 'rp2_flash.c' definition -

#define MICROPY_HW_FLASH_STORAGE_BYTES (1408 * 1024)

[tannewt]

Nope, that's an artifact of a pre-production board.

[aallan]

"Warning: Your Pico’s file system is 128kB in size"

Oops. No that's a preproduction model, they had less Flash RAM. I'll flag that for fixing in the text.