Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

alexandruradovici
Copy link
Contributor

Pull Request Overview

This pull request fixes the Raspberry Pi Pico and similar boards kernel flash space. As several other peripherals were implemented, the kernel did not fit anymore.

This fixes #3313.

Testing Strategy

N/A

TODO or Help Wanted

N/A

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@alexandruradovici alexandruradovici changed the title increase the kernel flash space Increase the kernel flash space for Raspberry Pi Pico Nov 3, 2022
@hudson-ayers
Copy link
Contributor

bors r+

@bors
Copy link
Contributor

bors bot commented Nov 4, 2022

@bors bors bot merged commit 0f7fe7d into tock:master Nov 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

raspberry_pi_pico debug build fails with rust-lld error
4 participants