Something went wrong. Try again.
OCaml tooling for tracing Xen guest address translation
Something went wrong. Try again.
Files
Verified signature Signed by james.dad.town SHA256:gsLvmabQ/0T7sWasAAxGw7iZQchjXD/ekJfrqGIHaZk Click to copy SHA
Verified signature Signed by james.dad.town SHA256:gsLvmabQ/0T7sWasAAxGw7iZQchjXD/ekJfrqGIHaZk Click to copy SHA
Verified signature Signed by james.dad.town SHA256:gsLvmabQ/0T7sWasAAxGw7iZQchjXD/ekJfrqGIHaZk Click to copy SHA
- OCaml 71%
- C 18%
- Python 10%
- Makefile <1%
README.md
Inspects four level x86_64 guest page tables on Xen and replays captures offline. It reports the entries consulted during translation and predicts ordinary explicit paging accesses using the captured register state and an explicit guest feature profile.
https://github.com/user-attachments/assets/6f04c3f8-36fb-4c3e-9736-68b43d92baf3