Code

Rework asynchronous timers#31

Code

Merged

nspin merged 9 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/timenspin/rust-sel4:pr/timeCopy head branch name to clipboardOct 20, 2023

+505-175

Commits

Commits on Oct 19, 2023

• crates/sel4-async/timers: Rework

  Show description for d37068e
  nspin

  committed
  d37068e

• crates/sel4-async/timer-manager: Rename

  Show description for aab3820
  nspin

  committed
  aab3820

• Update HTTP server demo for timers rework

  Show description for d617fcb
  nspin

  committed
  d617fcb

• crates/sel4-async/network: Rename some items

  Show description for ffcb53d
  nspin

  committed
  ffcb53d

• crates/sel4-async/network: Add poll_at()

  Show description for d62c8de
  nspin

  committed
  d62c8de

• crates/sel4-async/network: Rename item

  Show description for a4bf25a
  nspin

  committed
  a4bf25a

• crates/sel4-async/time: Rename

  Show description for 181a9e7
  nspin

  committed
  181a9e7

Commits on Oct 20, 2023

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

  Show description for a2765d4
  nspin

  committed
  a2765d4

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

  Show description for bb7b2d1
  nspin

  committed
  bb7b2d1