#
# For a description of the syntax of this configuration file,
# see Documentation/kbuild/kconfig-language.txt.
#

mainmenu "Linux Kernel Configuration"

config XEN
	bool
	default y
	help
	  This is the Linux Xen port.

config ARCH_XEN
	bool
	default y


config NO_IDLE_HZ
	bool
	default y


menu "XEN"

config XEN_PRIVILEGED_GUEST
	bool "Privileged Guest (domain 0)"
	default n
	help
	  Support for privileged operation (domain 0)

config XEN_PHYSDEV_ACCESS
	bool "Device-driver domain (physical device access)"
	default y if XEN_PRIVILEGED_GUEST
	default n
	help
	  Device-driver domain (physical device access)

config XEN_WRITABLE_PAGETABLES
	bool "Use writable pagetables"
	default n
	help
	  Use writable L1 pagetables

endmenu

config FOREIGN_PAGES
	bool
	default y if XEN_PHYSDEV_ACCESS
	default n if !XEN_PHYSDEV_ACCESS

config PAGESIZED_SKBS
	bool
	default y if XEN_PHYSDEV_ACCESS
	default n if !XEN_PHYSDEV_ACCESS

#config VT
#	bool
#	default y

#config VT_CONSOLE
#	bool
#	default y

#config HW_CONSOLE
#	bool
#	default y

choice
	prompt "Processor Type"
	default X86

config X86
	bool "X86"
	help
	  Choose this option if your computer is a X86 architecture.

config X86_64
	bool "X86_64"
	help
	  Choose this option if your computer is a X86 architecture.

endchoice

source "init/Kconfig"

if X86
source "arch/xen/i386/Kconfig"
endif

menu "Executable file formats"

source "fs/Kconfig.binfmt"

endmenu

source "arch/xen/Kconfig.drivers"

source "fs/Kconfig"

source "security/Kconfig"

source "crypto/Kconfig"

source "lib/Kconfig"
