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

Commits on Jun 12, 2024

  1. Bump virtio_drivers dependency 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    0355ea6 View commit details
    Browse the repository at this point in the history

  2. Remove unused dependency 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    b1afdb9 View commit details
    Browse the repository at this point in the history

  3. crates/sel4-drivers/virtio-hal-impl: Move here 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    e92624b View commit details
    Browse the repository at this point in the history

  4. crates/sel4-shared-ring-buffer/smoltcp: Use entire DeviceCapabilities… 

    … struct

Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d27393b View commit details
    Browse the repository at this point in the history

  5. crates/sel4-async/io: Use embedded-io-async error types 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    7c90e63 View commit details
    Browse the repository at this point in the history

  6. crates/sel4-async/io: Leverage the embedded-io-async crate 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    5a390ba View commit details
    Browse the repository at this point in the history

  7. crates/sel4-microkit/smoltcp-device-adapter: Move out of sel4-hal-ada… 

    …pters

Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    bd5320b View commit details
    Browse the repository at this point in the history

  8. crates/sel4-hal-adapters: Update code 

    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
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    929a0e4 View commit details
    Browse the repository at this point in the history

  9. crates/sel4-hal-adapters: Rename module 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    85bf800 View commit details
    Browse the repository at this point in the history

  10. crates/sel4-hal-adapters: Split into modules 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    230d072 View commit details
    Browse the repository at this point in the history

  11. crates/sel4-hal-adapters: Simplify idents 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    4468fa0 View commit details
    Browse the repository at this point in the history

  12. crates/sel4-hal-adapters: Reorder items 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    ac94fe5 View commit details
    Browse the repository at this point in the history

  13. Rename GetCharSomeResponse -> GetCharResponse 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    5f69824 View commit details
    Browse the repository at this point in the history

  14. crates/sel4-hal-adapters: Refactor errors 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    79aaf58 View commit details
    Browse the repository at this point in the history

  15. crates/sel4-hal-adapters: Remove fmt::Write impl 

    This is provided by embedded-hal-nb

Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    3f7bc07 View commit details
    Browse the repository at this point in the history

  16. crates/sel4-microkit/embedded-hal-adapters: Move here 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    e882b3b View commit details
    Browse the repository at this point in the history

  17. crates/sel4-microkit/smoltcp-device-adapter: Split into modules 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    1ba20bb View commit details
    Browse the repository at this point in the history

  18. nix: Add non-ukit config for zcu102 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    099fa72 View commit details
    Browse the repository at this point in the history

  19. Use driver abstractions in examples 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    dfd9d5f View commit details
    Browse the repository at this point in the history

  20. Fix attribution 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    2db6cb4 View commit details
    Browse the repository at this point in the history

  21. crates/drivers: Initialize serial device in new() 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    e430ff5 View commit details
    Browse the repository at this point in the history

  22. Set up Banscii for portability 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    316230b View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. nix: Work around issue with Z3 upstream aarch64 binary release 

    Z3Prover/z3#7201
Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    13c4357 View commit details
    Browse the repository at this point in the history

  2. crates/sel4-microkit/drivers: Organize crates 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    9b18612 View commit details
    Browse the repository at this point in the history

  3. crates/drivers: Organize crates 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    13313e6 View commit details
    Browse the repository at this point in the history

  4. Rename sel4-driver-traits -> sel4-driver-interfaces 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4831e5e View commit details
    Browse the repository at this point in the history

  5. Use structured reponse types for Microkit IPC 

    In sel4-embedded-hal-adapters

Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    378aba6 View commit details
    Browse the repository at this point in the history

  6. crates/sel4-microkit: Ensure empty message is empty 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    1486016 View commit details
    Browse the repository at this point in the history

  7. crates/sel4-microkit/message: Rework 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    3dc8a2c View commit details
    Browse the repository at this point in the history

  8. Switch serial HAL adapter to non-blocking 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    70f7005 View commit details
    Browse the repository at this point in the history

  9. Add write buffered serial wrapper 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    dca3dd4 View commit details
    Browse the repository at this point in the history

  10. Improve rigidity of channel types 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    766b0df View commit details
    Browse the repository at this point in the history

  11. Add RTC driver interface 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    a19f92d View commit details
    Browse the repository at this point in the history

  12. crates/sel4-driver-interfaces: Move here 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    385f2a3 View commit details
    Browse the repository at this point in the history

  13. Remove note 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    bc6b47d View commit details
    Browse the repository at this point in the history

  14. Factor out smoltcp_device_adapter::driver::handle_client_request 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    95aa8c2 View commit details
    Browse the repository at this point in the history

  15. Rename sel4-microkit-embedded-hal-adapters -> sel4-microkit-driver-ad… 

    …apters

Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    b92840f View commit details
    Browse the repository at this point in the history

  16. crates/sel4-microkit/driver-adapters: Move here 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    dd5e2a3 View commit details
    Browse the repository at this point in the history

  17. crates/sel4-microkit/driver-adapters: Move net here 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4063c91 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. crates/drivers: Flatten directory structure 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    504b252 View commit details
    Browse the repository at this point in the history

  2. Organize module structure 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    da103a7 View commit details
    Browse the repository at this point in the history

  3. Move WriteBuffered wrapper 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    2299539 View commit details
    Browse the repository at this point in the history

  4. crates/sel4-driver-interfaces: Add timer module 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    2f09fb6 View commit details
    Browse the repository at this point in the history

  5. Improve style 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    a1111a0 View commit details
    Browse the repository at this point in the history

  6. crates/sel4-driver-interfaces: Add block module 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    5b2c1e9 View commit details
    Browse the repository at this point in the history

  7. crates/drivers/virtio/net: Rename to this 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    d05d290 View commit details
    Browse the repository at this point in the history

  8. crates/drivers/virtio/blk: Add wrapper 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    0f33289 View commit details
    Browse the repository at this point in the history

  9. Use sel4-driver-interfaces::block in driver 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    d9c2fac View commit details
    Browse the repository at this point in the history

  10. Use sel4-driver-interfaces::block in HTTP server 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    0458407 View commit details
    Browse the repository at this point in the history

  11. Fix attribution 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    1ca42c0 View commit details
    Browse the repository at this point in the history

  12. nix: Update seL4 dependency 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    4fcacfc View commit details
    Browse the repository at this point in the history

  13. crates/sel4: Update after upstream change to seL4_VCPUReg 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    4a8c391 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Fix attribution 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    137a246 View commit details
    Browse the repository at this point in the history

  2. crates/sel4-driver-interfaces: Add wrappers for shared access 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    6af1ea7 View commit details
    Browse the repository at this point in the history

  3. Rework GetNetDeviceMeta trait 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    fb1750e View commit details
    Browse the repository at this point in the history

  4. Rework GetBlockDeviceLayout trait 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    33fda22 View commit details
    Browse the repository at this point in the history

  5. crates/sel4-driver-interfaces: Re-export rtcc items 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    3eebc8c View commit details
    Browse the repository at this point in the history

  6. crates/drivers: Clean up APIs 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    a2aaba2 View commit details
    Browse the repository at this point in the history

  7. crates/examples/microkit: Clean up fn signatures 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    a06847c View commit details
    Browse the repository at this point in the history

  8. crates/sel4-kernel-loader: Use driver crates 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    3b9a846 View commit details
    Browse the repository at this point in the history

  9. crates/sel4-logging: Add SynchronizedLogger 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    c039f1a View commit details
    Browse the repository at this point in the history

  10. crates/sel4-immediate-sync-once-cell: Limit scope of unsafe ref 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    b0d4058 View commit details
    Browse the repository at this point in the history

  11. crates/drivers: Fix const fns 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    d4f5ccb View commit details
    Browse the repository at this point in the history

  12. Improve type names in driver adapters 

    Signed-off-by: Nick Spinale <nick@nickspinale.com>
    @nspin
    nspin committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    bd22742 View commit details
    Browse the repository at this point in the history