Repository navigation

Enable guest time - #1422

Closed

simongdavies wants to merge 17 commits into

hyperlight-dev:mainfrom

simongdavies:enable-guest-time

Closed

Enable guest time#1422
simongdavies wants to merge 17 commits into
hyperlight-dev:mainfrom
simongdavies:enable-guest-time

Commits on Jun 25, 2026
- common: add paravirtualized clock types and clock-page layout constants
  simongdavies
  committed
  56b9eae
- host: add enable_guest_clock feature + VirtualMachine::setup_pvclock
  simongdavies
  committed
  195fe70
- host/common: reserve scratch clock page and expose GPA/GVA
  simongdavies
  committed
  a998659
- host: arm guest clock at initialise and on snapshot restore
  simongdavies
  committed
  8cceadb
- guest: add low-level paravirtualized clock reader
  simongdavies
  committed
  bc4ddeb
- guest_bin: add std::time-compatible Instant and SystemTime
  simongdavies
  committed
  7c1e45d
- guest_bin: wire libc clock_gettime/gettimeofday to paravirt clock
  simongdavies
  committed
  27cf173
- Reserve clock page from guest stack & add guest-clock integration tests
  simongdavies
  committed
  96ac11c
- docs: describe the paravirtualized guest clock
  simongdavies
  committed
  198ebde
- guest: maintain monotonic clock continuity across cross-partition restores
  simongdavies
  committed
  88b7b2d
- fix: address review comments type error, docs, alignment assertions
  
  simongdavies
  and
  Copilot
  committed
  3e1b541
- refactor: rename arm_clock to stamp_pvclock_time_origin
  
  simongdavies
  and
  Copilot
  committed
  86f70bf
- fix: align whp.rs cfg gates with trait definition
  
  simongdavies
  and
  Copilot
  committed
  0f31859
- fix: remove duplicate gettimeofday from libc_stubs
  
  simongdavies
  and
  Copilot
  committed
  7af4fa4
- Fix memory layout
  simongdavies
  committed
  e8437a5
- more review feedback
  simongdavies
  committed
  2e175d5
- Make gust clock runtime configurable
  simongdavies
  committed
  24be135

Commits

Commits on Jun 25, 2026