mainmenu "Xen-on-ARM configuration"

config ARM
	bool
	default y

menu "General Setup"
config OPTIMIZE_FOR_SIZE
	bool "Optimize for size"
config EABI_SUPPORT
	bool "Use ARM EABI to compile the Xen/ARM"
config USE_HIGH_VECTORS
	bool "Use high vectors table"
endmenu

menu "System Type"

config NOT_USE_WFI
	bool

config CPU_CORE_VERSION
	int
	default 7 if CPU_ISA_V7
	default 4 if CPU_ISA_V4
	default 5 if CPU_ISA_V5
	default 6 if CPU_ISA_V6
	default 6 if CPU_ISA_V6K

config CPU_ISA_V5
	bool

config CPU_ISA_V6
	bool

config CPU_ISA_V6K
	bool

config CPU_ISA_V7
	bool

config CPU_CACHE_V6
	bool

config CPU_CACHE_V7
	bool

config CPU_TLB_V4
	bool

config CPU_TLB_V6
	bool

config CPU_TLB_V7
	bool

config CPU_COPYPAGE_V4
	bool

config CPU_COPYPAGE_V6
	bool

config CPU_COPYPAGE_XSCALE3
	bool

config CPU_COPYPAGE_V7
	bool

config CPU_CORE_XSCALE3
	bool
	select CPU_ISA_V5
	select CPU_TLB_V4
	select CPU_COPYPAGE_XSCALE3

config CPU_CORE_ARM926T
	bool
	select CPU_ISA_V5
	select CPU_TLB_V4
	select CPU_CACHE_V6
	select CPU_COPYPAGE_V4

config CPU_CORE_ARM1136
	bool
	select CPU_ISA_V6
	select CPU_TLB_V6
	select CPU_CACHE_V6
	select CPU_COPYPAGE_V6

config CPU_CORE_ARM11MP
	bool
	select CPU_ISA_V6K
	select CPU_TLB_V6
	select CPU_CACHE_V6
	select CPU_COPYPAGE_V6

config CPU_CORE_CORTEXA9
	bool
	select CPU_ISA_V6K
	select CPU_ISA_V7
	select CPU_TLB_V7
	select CPU_CACHE_V7
	select CPU_COPYPAGE_V7

config PROCESSOR_PXA310
	bool
	select CPU_CORE_XSCALE3

config PROCESSOR_IMX21
	bool
	select CPU_CORE_ARM926T

config PROCESSOR_OMAP5912
	bool
	select CPU_CORE_ARM926T

config PROCESSOR_CHELSEA
	bool
	select CPU_CORE_ARM1136
	select NOT_USE_WFI

config PROCESSOR_REALVIEW
	bool
	select CPU_CORE_ARM11MP

config PROCESSOR_AP20
	bool
	select CPU_CORE_CORTEXA9

config PROCESSOR_TEGRA
	bool
	select CPU_CORE_CORTEXA9
choice
	prompt "Select target platform"

source "arch/arm/tegra/Kconfig"
endchoice

config SMP
	bool "Support SMP"
	depends on CPU_CORE_ARM11MP || CPU_CORE_CORTEXA9
	default y

config NR_CPUS
	int "Maximum number of CPUs (2-4)"
	range 2 4
	depends on SMP
	default "4"

config LOCAL_TIMERS
	bool "Support Local Timers"
	depends on SMP
	default n
	help
	  Enable support for local timers on SMP platforms, rather then the
	  legacy IPI broadcasr method. Local timers allow the system
	  accounting to be spread across the timer interval, preventing a
	  "thundering herd" at every timer tick.

endmenu

menu "Customize Memory Map"
config HYPERVISOR_BASE
	hex "Hypervisor virtual address"
	default 0xFF000000

        menu "Domain Memory Size"
        config MEMMAP_GUEST0_SIZE
                hex "domain0 memory size (including xen memory size : 2MB)"
                default 0x02000000

        config MEMMAP_GUEST1_SIZE
                hex "domain1 memory size"
                default 0x01000000

        config MEMMAP_GUEST2_SIZE
                hex "domain2 memory size"
                default 0x01000000

        config MEMMAP_GUEST3_SIZE
                hex "domain3 memory size"
                default 0x00000000
        endmenu

        menu "Image Max Size"
        config MEMMAP_GUEST0_IMAGE_SIZE
                hex "domain0 image max size"
                default 0x00400000

        config MEMMAP_GUEST1_IMAGE_SIZE
                hex "domain1 image max size"
                default 0x00400000

        config MEMMAP_GUEST2_IMAGE_SIZE
                hex "domain2 image max size"
                default 0x00400000

        config MEMMAP_GUEST3_IMAGE_SIZE
                hex "domain3 image max size"
                default 0x00400000
        endmenu

        menu "Ram Disk Size"
        config MEMMAP_GUEST0_RAMDISK_SIZE
                hex "domain0 ramdisk size"
                default 0x00400000

        config MEMMAP_GUEST1_RAMDISK_SIZE
                hex "domain1 ramdisk size"
                default 0x00400000

        config MEMMAP_GUEST2_RAMDISK_SIZE
                hex "domain2 ramdisk size"
                default 0x00400000

        config MEMMAP_GUEST3_RAMDISK_SIZE
                hex "domain3 ramdisk size"
                default 0x00400000
        endmenu
endmenu

source "security/Kconfig"

source "common/Kconfig"

