Improve pico_set_persistent_data_loc docs with --print-memory-usage #3191

Open

will-v-pi wants to merge 1 commit from persistent-data-docs into develop

will-v-pi commented

2026-09-09 06:06:44 -05:00

(Migrated from github.com)

Document that using pico_set_persistent_data_loc will result in --print-memory-usage under/over-reporting the memory usage in SRAM, as --print-memory-usage only looks at the final location counter (which will likely be the end of the static .heap allocation)

Fixes #3184

Document that using `pico_set_persistent_data_loc` will result in `--print-memory-usage` under/over-reporting the memory usage in SRAM, as `--print-memory-usage` only looks at the final location counter (which will likely be the end of the static `.heap` allocation) Fixes #3184

kilograham (Migrated from github.com) reviewed

2026-09-09 06:06:44 -05:00

This pull request can be merged automatically.

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin 'persistent-data-docs:persistent-data-docs'

git switch 'persistent-data-docs'

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch 'develop'

git merge --no-ff 'persistent-data-docs'

git switch 'persistent-data-docs'

git rebase 'develop'

git switch 'develop'

git merge --ff-only 'persistent-data-docs'

git switch 'persistent-data-docs'

git rebase 'develop'

git switch 'develop'

git merge --no-ff 'persistent-data-docs'

git switch 'develop'

git merge --squash 'persistent-data-docs'