Most of the code: Rafal Wojtczuk
xbpldr/*, xenhack, xenunhack, xenpgalloc.c, xenva2pa.c: Joanna Rutkowska
