diff options
| author | James Munns <[email protected]> | 2025-03-20 14:32:14 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2025-09-11 14:45:06 +0200 |
| commit | 1f50e4d496458dbc7fccd9d028217ebfa7735471 (patch) | |
| tree | 5e8824fa0dc9e39287dc7a3f28df8161ddee1aa2 /embassy-executor-timer-queue/src/lib.rs | |
| parent | 535c80e61f17e4ee4605e00623aabeda2181352d (diff) | |
Implement Deadline Ranked Scheduling
This implements a minimal version of Deadline Rank Scheduling, as well as ways to access and set Deadlines.
This still needs some UX improvements, but is likely Enough for testing.
Diffstat (limited to 'embassy-executor-timer-queue/src/lib.rs')
0 files changed, 0 insertions, 0 deletions