As one of the developers involved Linux and Xen, I am always grateful at Open Source. When the Samsung Electronics, I persuaded the upper management people to open our developed codes. As a result, XenARM became "open source". Currently I devoted on enlaring XenARM's platform supports. The below is new platform support XenARM which I announced Nov. 2008.
You can download XenARM patch supporting ARM Versatile Platform HERE.