OCaml tooling for tracing Xen guest address translation
Files
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