#
# Automatically generated make config: don't edit
# Project: Xvisor (eXtensible Versatile hypervISOR)
# Version: 0.1.2
# Sat May 26 09:09:53 2012
#
# CONFIG_SMP is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARCH_MIPS is not set
# CONFIG_ARCH_x86 is not set
CONFIG_ARCH="arm"
CONFIG_CPU_COUNT=1
CONFIG_CPU="arm32"
CONFIG_CPU_LE=y
# CONFIG_CPU_BE is not set
CONFIG_BOARD="vexpress-a15"
# CONFIG_CPU_ARM9 is not set
# CONFIG_CPU_CORTEX_A8 is not set
# CONFIG_CPU_OMAP3 is not set
# CONFIG_CPU_CORTEX_A9 is not set
CONFIG_CPU_CORTEX_A15=y
# CONFIG_CPU_CORTEX_A15_VE is not set
# CONFIG_ARMV5 is not set
CONFIG_ARMV7A=y
# CONFIG_ARMV7A_VE is not set
CONFIG_ARM32=y
# CONFIG_ARM32VE is not set

#
# ARM 32-Bit Options
#
# CONFIG_ARM32_HIGHVEC is not set
# CONFIG_ARM32_FUNCSTATS is not set
# CONFIG_ARMV7A_SECUREX is not set
CONFIG_ARM_GIC=y
CONFIG_ARM_TIMER_SP804=y
CONFIG_VEXPRESS=y
CONFIG_BOARD_VEXPRESS_A15=y

#
# Versatile Express Cortex-A15 Options
#
CONFIG_VEXPRESS_A15_ONE_GUEST_PBA8_DTS=y
# CONFIG_VEXPRESS_A15_ONE_GUEST_VEX_A9_DTS is not set
# CONFIG_VEXPRESS_A15_TWO_GUEST_PBA8_DTS is not set

#
# Hypervisor Options
#
# CONFIG_VERBOSE_MODE is not set
CONFIG_BANNER_NONE=y
# CONFIG_BANNER_BANNER4 is not set
# CONFIG_BANNER_COLOSSAL is not set
# CONFIG_BANNER_O8 is not set
# CONFIG_BANNER_ROMAN is not set
CONFIG_MAX_VCPU_COUNT=8
CONFIG_MAX_GUEST_COUNT=2
CONFIG_VGPA2REG_CACHE_SIZE=8
CONFIG_VAPOOL_SIZE=8
CONFIG_RTC=y
# CONFIG_BLOCK is not set
# CONFIG_NET is not set
# CONFIG_PROFILE is not set
# CONFIG_SCHEDALGO_RR is not set
CONFIG_SCHEDALGO_PRR=y
# CONFIG_TSLICE_1MS is not set
CONFIG_TSLICE_10MS=y
# CONFIG_TSLICE_100MS is not set
CONFIG_TSLICE_MS=10
CONFIG_IRQ_STACK_SIZE=4096
CONFIG_THREAD_STACK_SIZE=4096
CONFIG_HEAP_SIZE=1024
CONFIG_HEAP_BUDDY=y
# CONFIG_HEAP_TRIVIAL is not set

#
# Command Options
#
CONFIG_CMD_VERSION=y
CONFIG_CMD_RESET=y
CONFIG_CMD_SHUTDOWN=y
CONFIG_CMD_HOST=y
CONFIG_CMD_DEVTREE=y
CONFIG_CMD_VCPU=y
CONFIG_CMD_GUEST=y
CONFIG_CMD_MEMORY=y
CONFIG_CMD_THREAD=y
CONFIG_CMD_CHARDEV=y
CONFIG_CMD_VSERIAL=y
CONFIG_CMD_STDIO=y
CONFIG_CMD_HEAP=y
CONFIG_CMD_WALLCLOCK=y
CONFIG_CMD_RTCDEV=y
# CONFIG_CMD_THREADTEST is not set

#
# Library Options
#
CONFIG_LIBFDT=y
# CONFIG_KALLSYMS is not set
# CONFIG_LIBSORT is not set

#
# Device Drivers
#

#
# Serial Port Drivers
#
CONFIG_SERIAL=y
# CONFIG_SERIAL_UART is not set
# CONFIG_SERIAL_OMAP_UART is not set
CONFIG_SERIAL_PL01X=y

#
# RTC Drivers
#
CONFIG_RTC_PL031=y

#
# Device Emulators
#

#
# System Emulators
#
CONFIG_EMU_SYS=y
CONFIG_EMU_SYS_ARM_SYSREGS=y
CONFIG_EMU_SYS_SP810=y

#
# PIC Emulators
#
CONFIG_EMU_PIC=y
CONFIG_EMU_PIC_GIC=y
# CONFIG_EMU_PIC_PL190 is not set

#
# Timer Emulators
#
CONFIG_EMU_TIMER=y
CONFIG_EMU_TIMER_SP804=y
CONFIG_EMU_TIMER_ARM_MPTIMER=y

#
# Serial Port Emulators
#
CONFIG_EMU_SERIAL=y
CONFIG_EMU_SERIAL_PL011=y

#
# Real-Time Clock Emulators
#
CONFIG_EMU_RTC=y
CONFIG_EMU_RTC_PL031=y

#
# Cache Controller Emulators
#
CONFIG_EMU_CACHE_L2X0=y

#
# Miscellaneous Emulators
#
CONFIG_EMU_MISC_A9MP_PRIV=y

#
# Tool Options
#
CONFIG_DTC=y
CONFIG_CPATCH=y
# CONFIG_BBFLASH is not set
# CONFIG_KALLSYMS_GENERATOR is not set
