Re: [Xen-devel] Building Xen 4.2.2 w/EFI on Ubuntu Server 12.04.2

[Kristian Hagsted Rasmussen <kristian@xxxxxxxxxx>]

> -----Original Message-----
> From: Jan Beulich [mailto:JBeulich@xxxxxxxx]
> Sent: 15. juli 2013 10:03
> To: Kelvin Middleton; Kristian Hagsted Rasmussen
> Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx
> Subject: RE: [Xen-devel] Building Xen 4.2.2 w/EFI on Ubuntu Server 12.04.2
> 
> >>> On 15.07.13 at 09:48, Kristian Hagsted Rasmussen <kristian@xxxxxxxxxx>
> wrote:
> >> > [global]
> >> > default=xen
> >> >
> >> > [xen]
> >> > options=console=vga loglvl=all noreboot
> >> > kernel=vmlinuz-3.5.0-36-generic ignore_loglevel
> >> > ramdisk=initrd-3.5.0-36-generic
> >
> > I am not completely sure if it is necessary to rename the linux kernel
> > to end on .efi,
> 
> Whatever the filename following the kernel= above. I.e. if you name it *.efi,
> then the line above also would need to be changed.

I forgot to mention that I also rename the file in the kernel= line.
But I guess this renaming to *.efi is not necessary as it is not calling the 
stub part
of the kernel.

> 
> > It must be said that I have compile my on kernel with CONFIG_EFI_STUB=y.
> 
> The code this enables should remain unused when running under Xen.
> 
> Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel