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.

Sign up for GitHub

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

Jump to bottom

Introduce more driver abstractions #152

Merged
merged 64 commits into from
Jun 19, 2024
Merged

Introduce more driver abstractions #152

merged 64 commits into from
Jun 19, 2024

Conversation

nspin
Copy link
Member

@nspin nspin commented Jun 19, 2024

This PR expands on existing driver abstractions (e.g. introduced in #25), adds new abstractions, implements drivers using these abstractions, and leverages these abstractions in the kernel loader and Microkit examples.

nspin added 30 commits June 12, 2024 09:14
@nspin
Bump virtio_drivers dependency
0355ea6 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Remove unused dependency
b1afdb9 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-drivers/virtio-hal-impl: Move here
e92624b 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-shared-ring-buffer/smoltcp: Use entire DeviceCapabilities…
d27393b 
… struct

Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-async/io: Use embedded-io-async error types
7c90e63 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-async/io: Leverage the embedded-io-async crate
5a390ba 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-microkit/smoltcp-device-adapter: Move out of sel4-hal-ada…
bd5320b 
…pters

Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-hal-adapters: Update code
929a0e4 
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 <nick@nickspinale.com>
@nspin
crates/sel4-hal-adapters: Rename module
85bf800 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-hal-adapters: Split into modules
230d072 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-hal-adapters: Simplify idents
4468fa0 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-hal-adapters: Reorder items
ac94fe5 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Rename GetCharSomeResponse -> GetCharResponse
5f69824 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-hal-adapters: Refactor errors
79aaf58 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-hal-adapters: Remove fmt::Write impl
3f7bc07 
This is provided by embedded-hal-nb

Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-microkit/embedded-hal-adapters: Move here
e882b3b 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-microkit/smoltcp-device-adapter: Split into modules
1ba20bb 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
nix: Add non-ukit config for zcu102
099fa72 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Use driver abstractions in examples
dfd9d5f 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Fix attribution
2db6cb4 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/drivers: Initialize serial device in new()
e430ff5 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Set up Banscii for portability
316230b 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
nix: Work around issue with Z3 upstream aarch64 binary release
13c4357 
Z3Prover/z3#7201
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-microkit/drivers: Organize crates
9b18612 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/drivers: Organize crates
13313e6 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Rename sel4-driver-traits -> sel4-driver-interfaces
4831e5e 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Use structured reponse types for Microkit IPC
378aba6 
In sel4-embedded-hal-adapters

Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-microkit: Ensure empty message is empty
1486016 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-microkit/message: Rework
3dc8a2c 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Switch serial HAL adapter to non-blocking
70f7005 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
nspin added 25 commits June 17, 2024 02:34
@nspin
crates/drivers: Flatten directory structure
504b252 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Organize module structure
da103a7 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Move WriteBuffered wrapper
2299539 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-driver-interfaces: Add timer module
2f09fb6 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Improve style
a1111a0 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-driver-interfaces: Add block module
5b2c1e9 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/drivers/virtio/net: Rename to this
d05d290 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/drivers/virtio/blk: Add wrapper
0f33289 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Use sel4-driver-interfaces::block in driver
d9c2fac 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Use sel4-driver-interfaces::block in HTTP server
0458407 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Fix attribution
1ca42c0 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
nix: Update seL4 dependency
4fcacfc 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4: Update after upstream change to seL4_VCPUReg
4a8c391 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Fix attribution
137a246 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-driver-interfaces: Add wrappers for shared access
6af1ea7 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Rework GetNetDeviceMeta trait
fb1750e 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Rework GetBlockDeviceLayout trait
33fda22 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-driver-interfaces: Re-export rtcc items
3eebc8c 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/drivers: Clean up APIs
a2aaba2 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/examples/microkit: Clean up fn signatures
a06847c 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-kernel-loader: Use driver crates
3b9a846 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-logging: Add SynchronizedLogger
c039f1a 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/sel4-immediate-sync-once-cell: Limit scope of unsafe ref
b0d4058 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
crates/drivers: Fix const fns
d4f5ccb 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin
Improve type names in driver adapters
bd22742 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
@nspin nspin mentioned this pull request Jun 19, 2024
Closed
@nspin
Copy link
Member Author

nspin commented Jun 19, 2024

Resolves #116

@nspin nspin merged commit f64baaa into seL4:main Jun 19, 2024
17 checks passed
@nspin nspin deleted the pr/driver-abstractions branch June 19, 2024 08:24
@nspin nspin mentioned this pull request Jun 19, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@nspin