Skip to content

add psc3m5_evk as target#591

Merged
jrvanwhy merged 1 commit into
tock:masterfrom
sirchnik:psc3m5_evk
May 19, 2026
Merged

add psc3m5_evk as target#591
jrvanwhy merged 1 commit into
tock:masterfrom
sirchnik:psc3m5_evk

Conversation

@sirchnik
Copy link
Copy Markdown
Contributor

@sirchnik sirchnik commented May 13, 2026

For the PR to add the board to tock. This adds the platform to libtock-rs. tock/tock#4779

Comment thread build_scripts/src/lib.rs Outdated
@jrvanwhy jrvanwhy added the upkeep Indicates a PR is upkeep as defined by the code review policy. label May 13, 2026
Copy link
Copy Markdown
Collaborator

@jrvanwhy jrvanwhy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll re-run the CI workflows and merge once #593 is merged.

@jrvanwhy jrvanwhy added this pull request to the merge queue May 19, 2026
Merged via the queue into tock:master with commit 0ff277b May 19, 2026
2 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

upkeep Indicates a PR is upkeep as defined by the code review policy.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants