hippy
Posts: 9144
Joined: Fri Sep 09, 2011 10:34 pm
Location: UK

File system size ?

Sun Jan 24, 2021 11:49 am

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
Posts: 36
Joined: Tue Nov 17, 2020 1:14 am

Re: File system size ?

Tue Jan 26, 2021 12:41 am

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

User avatar
aallan
Raspberry Pi Trading Employee & Forum Moderator
Raspberry Pi Trading Employee & Forum Moderator
Posts: 124
Joined: Mon Feb 09, 2015 11:30 am
Location: Exeter, UK
Contact: Website Twitter

Re: File system size ?

Tue Jan 26, 2021 12:47 am

hippy wrote:
Sun Jan 24, 2021 11:49 am
"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.
Technical Documentation Manager
Raspberry Pi (Trading) Limited
About me, http://alasdairallan.com

Return to “MicroPython”