why did FC6 install a XEN kernel on my inspiron?

[Marcel J.E. Mol]

On Thu, Nov 09, 2006 at 08:39:47AM +0000, Mike Cohler wrote:
> Mike Cohler <mike.cohler <at> gmail.com> writes:
> 
> > > > am not sure if I will be able to get away with installing the non-xen 
> > > > kernel when the next kernel update arrives so I guess for that machine
> > > > I will probably
> > > > have to do a re-install.
> > > 
> > > Reinstallation is completely unnecessary. You can merely install the non 
> > > Xen kernel.
> > 
> > I had already done the re-install when I saw your message !
> 
> A couple of observations.
> 
> 1) When I just had the xen kernel, I installed the original non-xen kernel
> using rpm -ivh, and booted to it.  This gave sadc errors on bootup.
> 

Funny, I just installed my new inspiron 9400 with FC6 x86_64 and it also
installed the XEN kernel. However, for some reason it could not find the 
ethernet device. Then b44 module just reported an error.

Nov  8 19:51:07 localhost kernel: b44.c:v1.01 (Jun 16, 2006)
Nov  8 19:51:07 localhost kernel: ACPI: PCI Interrupt 0000:03:00.0[A] -> GSI 17 (level, low) -> IRQ
 17
Nov  8 19:51:07 localhost kernel: b44 0000:03:00.0: No usable DMA configuration, aborting.
Nov  8 19:51:07 localhost kernel: ACPI: PCI interrupt for device 0000:03:00.0 disabled
Nov  8 19:51:07 localhost kernel: b44: probe of 0000:03:00.0 failed with error -5


After installing a 'normal' kernel the network came up fine (as it did when
installing FC6 over the net). 

-Marcel