Xen devel - Oct 2007 - [PATCH][IA64] fix configure VHPT size per domain

Hi Keir,

Sorry, my patch (cset 16136, configure VHPT size per domain for IA64)
was a little bit kludge and implies a bug. 
PV domain can''t boot up in some VHPT size. 
Please apply the attached patch.

Thanks,
Kouya

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>



_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel