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

Rework asynchronous timers #31

Merged
merged 9 commits into from
Oct 20, 2023
Merged

Rework asynchronous timers #31

merged 9 commits into from
Oct 20, 2023

Commits on Oct 19, 2023

  1. crates/sel4-async/timers: Rework 

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

  2. crates/sel4-async/timer-manager: Rename 

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

  3. Update HTTP server demo for timers rework 

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

  4. crates/sel4-async/network: Rename some items 

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

  5. crates/sel4-async/network: Add poll_at() 

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

  6. crates/sel4-async/network: Rename item 

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

  7. crates/sel4-async/time: Rename 

    Signed-off-by: Nick Spinale <[email protected]>
    @nspin
    nspin committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    181a9e7 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. crates/sel4-async/time: Add note about timer wheel 

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

  2. crates/sel4-async/time: Add note about Interval future 

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