8000 boards: nrf52840dk: Make 15.4 stack optional; add raw 15.4 stack to tutorial board by bradjc · Pull Request #4018 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

boards: nrf52840dk: Make 15.4 stack optional; add raw 15.4 stack to tutorial board #4018

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 6, 2024

Conversation

bradjc
Copy link
Contributor
@bradjc bradjc commented Jun 5, 2024

Pull Request Overview

This moves the 15.4/udp stack into their own function in lib.rs which main.rs files can then use if they want.

Unfortunately this gets more and more complicated as now the sub-boards need access to the alarm mux.

Testing Strategy

travis

TODO or Help Wanted

Blocked on previous 15.4 PRs.

Documentation Updated

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

Formatting

  • Ran make prepush.

bradjc added 2 commits June 6, 2024 13:15
This moves the 15.4/udp stack into their own function in lib.rs which
main.rs files can then use if they want.

Unfortunately this gets more and more complicated as now the sub-boards
need access to the alarm mux.
@bradjc bradjc force-pushed the nrf52840dk-optional-154 branch from 45896ca to 84e5c25 Compare June 6, 2024 17:18
@tyler-potyondy
Copy link
Contributor

I'm in favor of these changes since they seem to follow the lib.rs/main.rs design split. The in kernel 15.4/udp stack initialization is somewhat unwieldy and is more readable with this abstraction.

@alevy alevy added this pull request to the merge queue Jun 6, 2024
Merged via the queue into master with commit 51d7dae Jun 6, 2024
18 checks passed
@alevy alevy deleted the nrf52840dk-optional-154 branch June 6, 2024 20:02
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.

4 participants
0