Xen Test Framework
Todo List
Page FPU Exception Emulation
Extend to include unmasked pending exceptions. There is definitely work required in the instruction emulator to support this properly.
Page Invlpg Handling
Find a better way dealing with forced emulation. Versions of Xen older than 4.7 crash the domain if they find an invlpg instruction while in hap mode, which is unhelpful when trying to test behaviour.
Global test_main (void)
Implement better command line infrastructure, but this will do for now.