Skip to content
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

kernel: hil: 802.15.4: document the HIL #3998

Merged
merged 1 commit into from
May 29, 2024
Merged

kernel: hil: 802.15.4: document the HIL #3998

merged 1 commit into from
May 29, 2024

Conversation

bradjc
Copy link
Contributor

@bradjc bradjc commented May 17, 2024

Pull Request Overview

This adds comments to the 15.4 HIL.

As far as I know this doesn't change any semantics of the HIL, just documents what it does.

Testing Strategy

just comments

TODO or Help Wanted

n/a

Documentation Updated

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

Formatting

  • Ran make prepush.

@github-actions github-actions bot added HIL This affects a Tock HIL interface. WG-Network In the purview of the Network working group. labels May 17, 2024
@tyler-potyondy
Copy link
Contributor

Looking this over, everything seems to be correct and consistent with how the HIL is implemented.

Copy link
Member

@ppannuto ppannuto left a comment

Choose a reason for hiding this comment

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

Really just trusting tyler with this approve :)

Copy link
Contributor

@wprzytula wprzytula left a comment

Choose a reason for hiding this comment

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

This makes the HIL much clearer!

@ppannuto ppannuto added this pull request to the merge queue May 28, 2024
Merged via the queue into master with commit ec35afd May 29, 2024
18 checks passed
@ppannuto ppannuto deleted the hil-154-doc branch May 29, 2024 00:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
HIL This affects a Tock HIL interface. WG-Network In the purview of the Network working group.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants