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 11:10, Kristian Hagsted Rasmussen <kristian@xxxxxxxxxx> 
>>> wrote:
>> 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.

Correct.

Jan


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