On Fri, Mar 06, 2009 at 12:36:47AM +0000, David Brownlee wrote:
        Currently you cannot build a xen kernel with the following
        devices (among others):
            gcscehci gcscide gcscpcib geodecntr geodegcb
            geodewdog glxsb gscpcib viapcib
        These *could* be moved from sys/arch/i386/conf/files.i386
        to sys/arch/x86/pci/files.pci (sample patch), but would
        it make more sense to split them (along with possibly some
        others) into another file which can be included by i386
        and i386-xen?
Only viapcib stands a chance of being useful in a xen context.  The rest
is Geode-specific and that cannot run Xen, AFAIK.