Does anyone know if the ipw3945 wirelss card has worked or can work with a Xen kernel.  The ipw3945 bits from freshprms.net work fine with FC6 kernel, but if I boot using the Xen kernel than it does not work.

Thanks,