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

[Kristian Hagsted Rasmussen <kristian@xxxxxxxxxx>]

> -----Original Message-----
> From: xen-devel-bounces@xxxxxxxxxxxxx [mailto:xen-devel-
> bounces@xxxxxxxxxxxxx] On Behalf Of Jan Beulich
> Sent: 15. juli 2013 09:09
> To: Kelvin Middleton
> Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx
> Subject: Re: [Xen-devel] Building Xen 4.2.2 w/EFI on Ubuntu Server 12.04.2
> 
> >>> On 13.07.13 at 16:59, Kelvin Middleton <kelvin.middleton@xxxxxxxxx>
> wrote:
> > Hi, very new with Xen so am learning as I go.
> >

> > Have created a xen-4.2.2.cfg file in /boot/efi/EFI/ubuntu right next
> > to the .efi.  Boot shows its using the .cfg file but I get an error
> > about no Dom0 Kernel could be found.  I'm struggling to find or maybe
> > understand the documentation/posts on this.  My xen-4.2.2.cfg is as
> follows...
> >
> > [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,
I have always done this as it is necessary for booting linux directly from 
efistub.
However when renaming the linux kernel vmlinuz*.efi and placing it in the same
folder as the xen.efi, I can boot from efi without problems.
It must be said that I have compile my on kernel with CONFIG_EFI_STUB=y.

/Kristian

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