This document discusses memory management techniques in Xen virtualization. It covers:
1) Xen uses a buddy allocator to hand out frames to guests and tracks memory usage and types with reference counts and a frametable.
2) For paravirtualized guests, Xen uses PV pagetables where the guest manages a PFN to MFN table and Xen provides a shared MFN to PFN table and checks guest pagetable contents.
3) For hardware-assisted guests, Xen supplies a second set of pagetables describing the PFN to MFN translation and access restrictions, which the CPU applies along with the guest's pagetables.