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

Add more OS-independent synchronization abstractions and utilities #170

Merged
merged 13 commits into from
Jul 11, 2024
Merged

Add more OS-independent synchronization abstractions and utilities #170

merged 13 commits into from
Jul 11, 2024

Commits on Jul 11, 2024

  1. crates/sel4-sync/abstractions: Introduce 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    8c292bf View commit details
    Browse the repository at this point in the history

  2. crates/sel4-sync: Remove AbstractMutexSyncOps 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    df7350d View commit details
    Browse the repository at this point in the history

  3. crates/sel4-sync: Remove IndirectNotificationMutexSyncOps 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    678b3f5 View commit details
    Browse the repository at this point in the history

  4. crates/sel4-sync: Move code around 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    c5efedc View commit details
    Browse the repository at this point in the history

  5. crates/sel4-sync: Remove PanickingMutexSyncOps 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    736f632 View commit details
    Browse the repository at this point in the history

  6. crates/sel4-sync/abstractions: Add PanickingRawMutex::new() 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    86a9776 View commit details
    Browse the repository at this point in the history

  7. crates/sel4-sync/abstractions: Add UnsyncPanickingRawMutex 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    3d5bfef View commit details
    Browse the repository at this point in the history

  8. crates/sel4-sync/abstractions: Introduce and apply AbstractRcT 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    198a4f3 View commit details
    Browse the repository at this point in the history

  9. crates/sel4-abstract-rc: Introduce 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    2678df0 View commit details
    Browse the repository at this point in the history

  10. crates/sel4-sync/trivial: Rename from sel4-sync-abstractions 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    f047a0f View commit details
    Browse the repository at this point in the history

  11. crates/sel4-sync/trivial: Fix license identifier 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    09f720e View commit details
    Browse the repository at this point in the history

  12. crates/sel4-abstract-rc: Fix license identifier 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    632a145 View commit details
    Browse the repository at this point in the history

  13. crates/sel4-sync: Re-export lock_api 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    94873b9 View commit details
    Browse the repository at this point in the history