Gihan/Diana: could you post a typical xen config file for xen4 that we use, which works with both PV and non-PV OS's?
Gihan/Diana: could you post a typical xen config file for xen4 that we use, which works with both PV and non-PV OS's?