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

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> 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.

> 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