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 22:37, Kelvin Middleton <kelvin.middleton@xxxxxxxxx> wrote:
> I'm now getting Xen boot kernel screen output but I have a new problem
> which is a kernel panic and a hang, progress though so I'm pretty happy.
> 
> Kernel Panic is...
> 
> do_device_not_available
> 
> ******************************
> Panic on CPU 0:
> Xen BUG at traps.c: 3393
> ******************************
> 
> Some googling on this error seems to point to the FPU setup (don't really
> know what this is) http://copilotco.com/mail-archives/xen.2008/msg14478.html 
> ??

Floating Point Unit. This is a problem we've seen elsewhere already,
and is - afaict - a clear violation of the EFI specification by your
system's EFI implementation: Runtime services functions are not
permitted to use floating point registers. Please contact the machine
or BIOS vendor for an update; I don't see us trying to work around
such fundamental flaws.

Jan


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