#
# Automatically generated make config: don't edit
# Project: Xvisor (eXtensible Versatile hypervISOR)
# Version: 0.1
# Fri Oct 21 11:27:51 2011
#
CONFIG_ARCH_ARM=y
# CONFIG_ARCH_MIPS is not set
CONFIG_ARCH="arm"
CONFIG_CPU="armv7a"
CONFIG_CPU_LE=y
# CONFIG_CPU_BE is not set
CONFIG_BOARD="pb-a8"
CONFIG_CPU_CORTEX_A8=y
# CONFIG_CPU_OMAP3 is not set
CONFIG_ARMV7A=y

#
# ARMv7a Options
#
# CONFIG_ARMV7A_HIGHVEC is not set
CONFIG_BOARD_PB_A8=y
CONFIG_REALVIEW=y
CONFIG_EMU_REALVIEW=y

#
# Realview PB-A8 Options
#
CONFIG_ONE_GUEST_PBA8_DTS=y
# CONFIG_TWO_GUEST_PBA8_DTS is not set

#
# General Setup
#
CONFIG_MAX_VCPU_COUNT=8
CONFIG_MAX_GUEST_COUNT=2
CONFIG_VAPOOL_SIZE=8
# CONFIG_VERBOSE_MODE is not set
CONFIG_BANNER_NONE=y
# CONFIG_BANNER_DEFAULT is not set

#
# Memory Management
#
CONFIG_HEAP_SIZE=1024
CONFIG_STACK_SIZE=8192
CONFIG_INTERRUPT_STACK_SIZE=4096
CONFIG_MM_BUDDY=y
# CONFIG_MM_TRIVIAL is not set

#
# Buddy System Configuration
#
CONFIG_BUDDY_HOUSE_KEEPING_PERCENT=25
CONFIG_BUDDY_MIN_BLOCK_SIZE_SHIFT=2
CONFIG_BUDDY_MAX_BLOCK_SIZE_SHIFT=12

#
# Library Options
#
CONFIG_LIBFDT=y

#
# Device Drivers
#

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

#
# Device Emulators
#

#
# System Emulators
#
CONFIG_EMU_SYS=y
CONFIG_EMU_SYS_REALVIEW=y
CONFIG_EMU_SYS_SP810=y

#
# PIC Emulators
#
CONFIG_EMU_PIC=y
CONFIG_EMU_PIC_GIC=y

#
# Timer Emulators
#
CONFIG_EMU_TIMER=y
CONFIG_EMU_TIMER_SP804=y

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