Xen VMI

The source code for this project is available here. It contains a set of introspection functions for the Linux Kernel running on Xen, i.e. for checking the integrity of the Linux kernel running inside a domU. It works on Xen 3.0.2 and 3.1.0 and with Linux 2.6.16-xen and 2.6.18-xen. Thanks to Dario Maggiari for the memory introspection functions.
This is the full listing of the archive:

xen_vmi/Makefile
xen_vmi/mm_intros_fun.c
xen_vmi/mm_intros_fun.h
xen_vmi/page_macro.h
xen_vmi/xen_check_dom.c
xen_vmi/xen_hash.c
xen_vmi/xen_vmi.c
xen_vmi/xen_vmi.h
xen_vmi/xen_vmi_private.h