Enable guest time#1422

Open

simongdavies wants to merge 10 commits intohyperlight-dev:mainfrom

simongdavies:enable-guest-time

Commits on Apr 28, 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