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

Work on incorporating more driver abstractions #151

Closed
wants to merge 64 commits into from

Conversation

nspin
Copy link
Member

@nspin nspin commented Jun 12, 2024

The bulk of this PR is updating/slightly reworking the sel4-hal-adapters crate (now split into sel4-microkit-smoltcp-device-adatper and sel4-microkit-embedded-hal-adapters) and incorporating it into the Microkit examples.

nspin added 30 commits June 12, 2024 09:14
Signed-off-by: Nick Spinale <[email protected]>
This serial adapter module had mistakenly not been being included.

Fix up dependencies, make it compile, and then update it to account for
changes in surrounding libraries.

Signed-off-by: Nick Spinale <[email protected]>
This is provided by embedded-hal-nb

Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
In sel4-embedded-hal-adapters

Signed-off-by: Nick Spinale <[email protected]>
nspin added 26 commits June 16, 2024 14:19
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
@nspin
Copy link
Member Author

nspin commented Jun 19, 2024

Closing, as the scope of this PR has changes.

@nspin nspin closed this Jun 19, 2024
@nspin
Copy link
Member Author

nspin commented Jun 19, 2024

See #152 instead.

@nspin nspin deleted the pr/driver-abstractions branch June 19, 2024 08:24
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.

1 participant