Module clock_rng 

Clock, RNG, sleep, and deadline-match syscalls.

Modules

clock

Clock syscall - reads the scheduler’s current time.

deadline_match

DeadlineMatch syscall - first-arrival selector between a then trigger and a timeout trigger.

rng_u64

RngU64 syscall - emits a random u64 from the framework RNG.

sleep

Sleep syscall - schedules a TimerKind::Sleep(cmd_id) and returns Async(cmd_id).