OCaml tooling for tracing Xen guest address translation
- OCaml 68.7%
- C 18%
- Python 9.7%
- Assembly 2.2%
- Makefile 0.9%
- Other 0.5%
| Filename | Latest commit message | Latest commit date |
|---|---|---|
| .github/workflows | ||
| bin | ||
| examples | ||
| guest | ||
| lib | ||
| test | ||
| .gitignore | ||
| dune-project | ||
| Makefile | ||
| meow.mp4 | ||
| README.md | ||
| scope.opam | ||
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