Enable guest time#1422

Open

simongdavies wants to merge 14 commits into

hyperlight-dev:mainfrom

simongdavies:enable-guest-time

Commits on Jun 8, 2026

common: add paravirtualized clock types and clock-page layout constants
simongdavies
committed
host: add enable_guest_clock feature + VirtualMachine::setup_pvclock
simongdavies
committed
host/common: reserve scratch clock page and expose GPA/GVA
simongdavies
committed
host: arm guest clock at initialise and on snapshot restore
simongdavies
committed
guest: add low-level paravirtualized clock reader
simongdavies
committed
guest_bin: add std::time-compatible Instant and SystemTime
simongdavies
committed
guest_bin: wire libc clock_gettime/gettimeofday to paravirt clock
simongdavies
committed
Reserve clock page from guest stack & add guest-clock integration tests
simongdavies
committed
docs: describe the paravirtualized guest clock
simongdavies
committed
guest: maintain monotonic clock continuity across cross-partition restores
simongdavies
committed
fix: address review comments type error, docs, alignment assertions

simongdavies
and
Copilot
committed
refactor: rename arm_clock to stamp_pvclock_time_origin

simongdavies
and
Copilot
committed
fix: align whp.rs cfg gates with trait definition

simongdavies
and
Copilot
committed
fix: remove duplicate gettimeofday from libc_stubs

simongdavies
and
Copilot
committed