Navigation:
Linux Kernel Driver DataBase -
web LKDDB:
Main index -
X index
The Linux kernel configuration item CONFIG_XEN has multiple definitions:
arch/i386/xen/KconfigThe configuration item CONFIG_XEN:
CONFIG_PARAVIRT && CONFIG_X86_CMPXCHG && CONFIG_X86_TSC && ! CONFIG_NEED_MULTIPLE_NODESThis is the Linux Xen port. Enabling this will allow the kernel to boot in a paravirtualized environment under the Xen hypervisor.
arch/arm/KconfigThe configuration item CONFIG_XEN:
( CONFIG_ARM && CONFIG_AEABI && CONFIG_OF ) && ( CONFIG_CPU_V7 && ! CONFIG_CPU_V6 ) && (! CONFIG_GENERIC_ATOMIC64 )Say Y if you want to run Linux in a Virtual Machine on Xen on ARM.
arch/x86/xen/KconfigThe configuration item CONFIG_XEN:
( CONFIG_PARAVIRT ) && ( CONFIG_X86_64 || ( CONFIG_X86_32 && CONFIG_X86_PAE && ! CONFIG_X86_VISWS )) && ( CONFIG_X86_TSC )This is the Linux Xen port. Enabling this will allow the kernel to boot in a paravirtualized environment under the Xen hypervisor.
arch/ia64/xen/KconfigThe configuration item CONFIG_XEN:
CONFIG_PARAVIRT && CONFIG_MCKINLEY && CONFIG_IA64_PAGE_SIZE_16KBEnable Xen hypervisor support. Resulting kernel runs both as a guest OS on Xen and natively on hardware.
Numeric ID (from LKDDb) and names (from pci.ids) of recognized devices:
5853 ("XenSource, Inc."), device: 0001 ("Xen Platform Device")5853 ("XenSource, Inc."), device: 0001 ("Xen Platform Device")Raw data from LKDDb:
lkddb acpi "ACPI0007" : CONFIG_XEN CONFIG_XEN_ACPI_HOTPLUG_CPU : drivers/xen/xen-acpi-cpuhotplug.clkddb acpi "ACPI0007" : CONFIG_XEN CONFIG_XEN_STUB : drivers/xen/xen-stub.clkddb acpi "ACPI000C" : CONFIG_X86 CONFIG_XEN : drivers/xen/xen-acpi-pad.clkddb acpi "LNXCPU" : CONFIG_XEN CONFIG_XEN_ACPI_HOTPLUG_CPU : drivers/xen/xen-acpi-cpuhotplug.clkddb acpi "LNXCPU" : CONFIG_XEN CONFIG_XEN_STUB : drivers/xen/xen-stub.clkddb acpi "PNP0C80" : CONFIG_XEN CONFIG_XEN_ACPI_HOTPLUG_MEMORY : drivers/xen/xen-acpi-memhotplug.clkddb acpi "PNP0C80" : CONFIG_XEN CONFIG_XEN_STUB : drivers/xen/xen-stub.clkddb fs "xenfs" : CONFIG_XEN CONFIG_XENFS : drivers/xen/xenfs/super.clkddb pci 5853 0001 .... .... ...... : CONFIG_XEN CONFIG_XEN_PLATFORM_PCI : drivers/xen/platform-pci.clkddb pci 5853 0001 .... .... ...... : CONFIG_XEN CONFIG_XEN_PVHVM : drivers/xen/platform-pci.cThis page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).
The data is retrived from:
Popular queries:
Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - X index
Automatically generated (in year 2013) with gen-web-lkddb.py in lkddb-sources.