Xen UEFIハイパーコールのサポート。

Xen Linux 3.17からの修正および機能のバックポート。

CMOSリアルタイムクロック(RTC)およびXen wallclockの同期のバックポート。

PCIパススルー用のxen pcibackの修正。

HVMゲストのPV拡張を無効化するxen_nopvパラメータのバックポート。