On Thu, Sep 29, 2011 at 10:01:05PM -0400, Konrad Rzeszutek Wilk wrote:
> Hey Mike,
>
Hey,
> I was wondering whether you could edit
>
> http://fedoraproject.org/wiki/Features/XenPvopsDom0
> to mention that if somebody would want to have Xen as their
> default boot option - they should edit
>
I
Hey Mike,
I was wondering whether you could edit
http://fedoraproject.org/wiki/Features/XenPvopsDom0
to mention that if somebody would want to have Xen as their
default boot option - they should edit
/etc/default/grub
and add
GRUB_DEFAULT="Xen 4.1.1"
(and then re-run grub2-mkconfig -o /boot/grub
