#
# Automatically generated make config: don't edit
# Project: Xvisor (eXtensible Versatile hypervISOR)
# Version: 0.2.6
# Thu Jul 30 16:20:47 2015
#
CONFIG_ARCH_ARM=y
# CONFIG_ARCH_x86 is not set
CONFIG_ARCH="arm"
# CONFIG_CPU_ARM926T is not set
# CONFIG_CPU_ARM11 is not set
# CONFIG_CPU_ARM11MP is not set
# CONFIG_CPU_CORTEX_A8 is not set
# CONFIG_CPU_CORTEX_A9 is not set
# CONFIG_CPU_CORTEX_A7 is not set
# CONFIG_CPU_CORTEX_A15 is not set
# CONFIG_CPU_GENERIC_V5 is not set
# CONFIG_CPU_GENERIC_V6 is not set
CONFIG_CPU_GENERIC_V7=y
# CONFIG_CPU_GENERIC_V7_VE is not set
# CONFIG_CPU_GENERIC_V8 is not set
# CONFIG_ARMV5 is not set
# CONFIG_ARMV6 is not set
# CONFIG_ARMV6K is not set
CONFIG_ARMV7A=y
# CONFIG_ARMV7A_VE is not set
# CONFIG_ARMV8 is not set
CONFIG_ARM=y
CONFIG_ARM32=y
# CONFIG_ARM32VE is not set
# CONFIG_ARM64 is not set

#
# ARM CPU Options
#
CONFIG_SMP=y
CONFIG_CPU_COUNT=4
CONFIG_VAPOOL_SIZE_MB=12
CONFIG_VAPOOL_ALIGN_MB=8
CONFIG_HOST_IRQ_COUNT=1024
CONFIG_ARM_LOCKS=y
CONFIG_ARM_MAX_DTB_SIZE=0xC000
CONFIG_CPU="arm32"
CONFIG_CPU_LE=y
# CONFIG_CPU_BE is not set
CONFIG_ARM32_STACKTRACE=y
# CONFIG_ARM32_HIGHVEC is not set
# CONFIG_ARM_ERRATA_430973 is not set
# CONFIG_ARM_ERRATA_458693 is not set
# CONFIG_ARM_ERRATA_460075 is not set
# CONFIG_ARM_ERRATA_742230 is not set
# CONFIG_ARM_ERRATA_742231 is not set
# CONFIG_ARM_ERRATA_743622 is not set
# CONFIG_ARM_ERRATA_751472 is not set
# CONFIG_ARM_ERRATA_754322 is not set
CONFIG_BOARD_GENERIC=y

#
# ARM Board Options
#
CONFIG_BOARD="generic"
# CONFIG_GENERIC_REALVIEW is not set
# CONFIG_GENERIC_VEXPRESS is not set
# CONFIG_GENERIC_OMAP3 is not set
CONFIG_GENERIC_SABRELITE=y
# CONFIG_GENERIC_EXYNOS4 is not set
# CONFIG_DEFTERM_EARLY_PRINT is not set
CONFIG_ARM_SCU=y
CONFIG_ARM_SMP_OPS=y
CONFIG_ARM_SMP_SPIN_TABLE=y
# CONFIG_ARM_SMP_PSCI is not set
CONFIG_ARM_SMP_IPI=y
# CONFIG_VERSATILE_CLCD is not set
# CONFIG_OMAP is not set
CONFIG_ARCH_MXC=y
CONFIG_SABRELITE_CONFIG=y
CONFIG_IMX_CPU=y
CONFIG_IMX6_CMD=y
CONFIG_IMX6Q_CLK=y
CONFIG_IMX6Q_PM=y
CONFIG_IMX6Q_PHY=y

#
# Hypervisor Options
#

#
# General Configuration
#
CONFIG_MODULES=y
# CONFIG_VERBOSE_MODE is not set
CONFIG_LOG_LEVEL=6
# CONFIG_BANNER_NONE is not set
# CONFIG_BANNER_BANNER3 is not set
# CONFIG_BANNER_BANNER4 is not set
# CONFIG_BANNER_COLOSSAL is not set
# CONFIG_BANNER_GRAFFITI is not set
# CONFIG_BANNER_O8 is not set
CONFIG_BANNER_ROMAN=y
CONFIG_IRQ_STACK_SIZE=4096
CONFIG_THREAD_STACK_SIZE=8192
CONFIG_MAX_RAM_BANK_COUNT=16
CONFIG_MAX_VCPU_COUNT=16
CONFIG_MAX_GUEST_COUNT=4
CONFIG_MEMMAP_HASH_SIZE=256
CONFIG_VGPA2REG_CACHE_SIZE=8
CONFIG_WFI_TIMEOUT_SECS=10
# CONFIG_PROFILE is not set

#
# Heap Configuration
#
CONFIG_HEAP_SIZE_MB=4
CONFIG_DMA_HEAP_SIZE_KB=3072

#
# Scheduler Configuration
#
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_IDLE_TSLICE_SECS=1
CONFIG_IDLE_PERIOD_SECS=2

#
# Load Balancer Configuration
#
CONFIG_LOADBAL_PERIOD_SECS=5
CONFIG_LOADBAL_CRUDE=y

#
# Device Support
#
# CONFIG_IOMMU is not set
CONFIG_BLOCK=y
CONFIG_BLOCKPART=y
CONFIG_BLOCKPART_DOS=y
CONFIG_NET=y
CONFIG_NET_MBUF_POOL_SIZE=2048
CONFIG_NET_MBUF_EXT_POOL_SIZE_KB=128
CONFIG_NET_BH_TIMEOUT_SECS=30

#
# Virtual IO Support
#
CONFIG_VSERIAL=y
# CONFIG_VDISK is not set
CONFIG_VDISPLAY=y
CONFIG_VINPUT=y
# CONFIG_VINPUT_KEYMAP_AR is not set
# CONFIG_VINPUT_KEYMAP_BEPO is not set
# CONFIG_VINPUT_KEYMAP_CZ is not set
# CONFIG_VINPUT_KEYMAP_DA is not set
# CONFIG_VINPUT_KEYMAP_DE_CH is not set
# CONFIG_VINPUT_KEYMAP_DE is not set
# CONFIG_VINPUT_KEYMAP_EN_GB is not set
CONFIG_VINPUT_KEYMAP_EN_US=y
# CONFIG_VINPUT_KEYMAP_ES is not set
# CONFIG_VINPUT_KEYMAP_ET is not set
# CONFIG_VINPUT_KEYMAP_FI is not set
# CONFIG_VINPUT_KEYMAP_FO is not set
# CONFIG_VINPUT_KEYMAP_FR_BE is not set
# CONFIG_VINPUT_KEYMAP_FR_CA is not set
# CONFIG_VINPUT_KEYMAP_FR_CH is not set
# CONFIG_VINPUT_KEYMAP_FR is not set
# CONFIG_VINPUT_KEYMAP_HR is not set
# CONFIG_VINPUT_KEYMAP_HU is not set
# CONFIG_VINPUT_KEYMAP_IS is not set
# CONFIG_VINPUT_KEYMAP_IT is not set
# CONFIG_VINPUT_KEYMAP_JA is not set
# CONFIG_VINPUT_KEYMAP_LT is not set
# CONFIG_VINPUT_KEYMAP_LV is not set
# CONFIG_VINPUT_KEYMAP_MK is not set
# CONFIG_VINPUT_KEYMAP_NL_BE is not set
# CONFIG_VINPUT_KEYMAP_NL is not set
# CONFIG_VINPUT_KEYMAP_NO is not set
# CONFIG_VINPUT_KEYMAP_PL is not set
# CONFIG_VINPUT_KEYMAP_PT_BR is not set
# CONFIG_VINPUT_KEYMAP_PT is not set
# CONFIG_VINPUT_KEYMAP_RU is not set
# CONFIG_VINPUT_KEYMAP_SL is not set
# CONFIG_VINPUT_KEYMAP_SV is not set
# CONFIG_VINPUT_KEYMAP_TH is not set
# CONFIG_VINPUT_KEYMAP_TR is not set

#
# Command Options
#

#
# General Commands
#
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_STDIO=y
CONFIG_CMD_HEAP=y
CONFIG_CMD_WALLCLOCK=y
CONFIG_CMD_MODULE=y

#
# Virtual I/O Commands
#
CONFIG_CMD_VSERIAL=y
CONFIG_CMD_VDISPLAY=y
CONFIG_CMD_VINPUT=y
CONFIG_CMD_VSCREEN=y

#
# Device Driver Commands
#
CONFIG_CMD_INPUT=y
CONFIG_CMD_FB=y
CONFIG_CMD_FB_LOGO=y
CONFIG_CMD_FB_LOGO_XVISOR=y
# CONFIG_CMD_FB_LOGO_SYSTEMX is not set
CONFIG_CMD_FB_IMAGE=y
CONFIG_CMD_FB_BACKLIGHT=y
CONFIG_CMD_BLOCKDEV=y
CONFIG_CMD_RBD=y
CONFIG_CMD_FLASH=y
CONFIG_CMD_I2C=y

#
# Networking Commands
#
CONFIG_CMD_NET=y
CONFIG_CMD_IPCONFIG=y
CONFIG_CMD_PING=y
CONFIG_CMD_MII=y

#
# Filesystem Commands
#
CONFIG_CMD_VFS=y

#
# Daemon Options
#
CONFIG_MTERM=y
CONFIG_MTERM_CMD_WIDTH=256
CONFIG_MTERM_HISTORY=y
CONFIG_MTERM_HISTORY_SIZE=10
# CONFIG_TELNETD is not set

#
# Library Options
#
CONFIG_VSCREEN=y

#
# Network Stack Options
#
CONFIG_NET_STACK=y
CONFIG_NET_STACK_LWIP=y
CONFIG_LWIP=y
# CONFIG_VSTELNET is not set

#
# Virtual Terminal Emulator Options
#
CONFIG_VTEMU=y
CONFIG_VTEMU_FONT_8x8=y
CONFIG_VTEMU_FONT_8x16=y
CONFIG_VTEMU_FONT_6x11=y
CONFIG_VTEMU_FONT_7x14=y
CONFIG_VTEMU_FONT_10x18=y
CONFIG_VTEMU_FONT_SUN8x16=y
CONFIG_VTEMU_FONT_SUN12x22=y
CONFIG_VTEMU_FONT_ACORN_8x8=y
CONFIG_VTEMU_FONT_PEARL_8x8=y
CONFIG_VTEMU_FONT_MINI_8x8=y

#
# Virtual FileSystem Options
#
CONFIG_VFS=y
# CONFIG_VFS_CPIO is not set
CONFIG_VFS_EXT4=y
CONFIG_VFS_FAT=y
# CONFIG_VFS_ISO9660 is not set

#
# Cryptographic Options
#
# CONFIG_CRYPTO is not set
CONFIG_GENALLOC=y
CONFIG_IMAGE_LOADER=y
# CONFIG_SCSI is not set

#
# Device Drivers
#

#
# Generic Configuration
#
CONFIG_OF=y
CONFIG_GENERIC_IO=y
CONFIG_HAS_IOPORT_MAP=y

#
# Interrupt Controller Drivers
#
# CONFIG_ARM_VIC is not set
CONFIG_ARM_GIC=y
# CONFIG_VERSATILE_FPGA_IRQ is not set
# CONFIG_MXC_AVIC is not set
# CONFIG_BCM2835_INTC is not set
# CONFIG_SUN4I_VIC is not set
# CONFIG_OMAP_INTC is not set

#
# Clocksource Drivers
#
# CONFIG_ARM_TIMER_SP804 is not set
CONFIG_ARM_TWD=y
CONFIG_MXC_EPIT=y
CONFIG_MXC_GPT=y
# CONFIG_BCM2835_TIMER is not set
# CONFIG_OMAP_S32K is not set
# CONFIG_OMAP2_TIMER is not set
# CONFIG_SUN4I_TIMER is not set

#
# Serial Port Drivers
#
CONFIG_SERIAL=y
# CONFIG_SERIAL_8250_UART is not set
# CONFIG_SERIAL_OMAP_UART is not set
# CONFIG_SERIAL_PL01X is not set
# CONFIG_SERIAL_SAMSUNG is not set
CONFIG_SERIAL_IMX=y

#
# RTC Drivers
#
# CONFIG_RTC is not set

#
# Block Drivers
#
CONFIG_BLOCK_RBD=y
# CONFIG_BLOCK_INITRD is not set

#
# MTD drivers
#
CONFIG_MTD=y
CONFIG_MTD_BLOCKDEV=y

#
# Self-contained MTD device drivers
#
CONFIG_MTD_M25P80=y

#
# MMC/SD/SDIO drivers
#
CONFIG_MMC=y

#
# MMC/SD/SDIO Host Controller Drivers
#
# CONFIG_MMC_ARMMMCI is not set
# CONFIG_MMC_SUNXI is not set
CONFIG_MMC_SDHCI=y
CONFIG_MMC_SDHCI_IO_ACCESSORS=y
# CONFIG_MMC_SDHCI_BCM2835 is not set
CONFIG_MMC_SDHCI_ESDHC_IMX=y

#
# USB drivers
#
# CONFIG_USB is not set

#
# USB Device Drivers
#

#
# USB Host Controller Drivers
#

#
# PCI Bus Support
#
# CONFIG_PCI is not set

#
# Input Device Support
#
CONFIG_INPUT=y

#
# Input Device Drivers
#
CONFIG_INPUT_KEYBOARD=y
CONFIG_KEYBOARD_ATKBD=y
# CONFIG_KEYBOARD_ATKBD_HP_KEYCODES is not set
CONFIG_INPUT_MOUSEDEV=y
# CONFIG_MOUSE_PS2 is not set

#
# Hardware I/O ports
#
CONFIG_SERIO=y
# CONFIG_SERIO_AMBAKMI is not set
CONFIG_SERIO_LIBPS2=y
# CONFIG_SERIO_I8042 is not set

#
# Graphics Drivers
#
CONFIG_FB=y
CONFIG_FB_CFB_FILLRECT=y
CONFIG_FB_CFB_COPYAREA=y
CONFIG_FB_CFB_IMAGEBLIT=y
# CONFIG_FB_CFB_REV_PIXELS_IN_BYTE is not set
# CONFIG_FB_SYS_FILLRECT is not set
# CONFIG_FB_SYS_COPYAREA is not set
# CONFIG_FB_SYS_IMAGEBLIT is not set
# CONFIG_FB_FOREIGN_ENDIAN is not set
# CONFIG_FB_MODE_HELPERS is not set
# CONFIG_FB_TILEBLITTING is not set
# CONFIG_FB_ARMCLCD is not set
CONFIG_IMX_IPUV3_CORE=y
CONFIG_FB_MXC=y
CONFIG_FB_MXC_LDB=y
CONFIG_FB_BACKLIGHT=y
CONFIG_FB_BACKLIGHT_PWM=y

#
# Network Device Support
#
CONFIG_NET_DEVICES=y
CONFIG_NET_NAPI=y
CONFIG_ETHERNET_DRIVERS=y
# CONFIG_ETHER_SMSC_911x is not set
# CONFIG_ETHER_SMSC_91x is not set
# CONFIG_ETHER_ALLWINNER_SUN4I_EMAC is not set
# CONFIG_ETHER_REALTEK is not set
CONFIG_NET_VENDOR_FREESCALE=y
CONFIG_FEC=y
CONFIG_PHYLIB=y

#
# MII PHY device drivers
#
# CONFIG_MDIO_SUN4I is not set
CONFIG_MICREL_PHY=y

#
# Clock Drivers
#
CONFIG_CLKDEV_LOOKUP=y
CONFIG_COMMON_CLK=y
# CONFIG_COMMON_CLK_VERSATILE is not set
# CONFIG_COMMON_CLK_BCM2835 is not set
# CONFIG_COMMON_CLK_SUNXI is not set
CONFIG_COMMON_CLK_MXC=y

#
# Power Supply Drivers
#
# CONFIG_POWER_SUPPLY is not set

#
# Power-off or Reset Drivers
#

#
# Multifunction device drivers
#
# CONFIG_REALVIEW_CONFIG is not set
# CONFIG_VEXPRESS_CONFIG is not set

#
# IDE Driver
#
# CONFIG_IDE is not set

#
# GPIO Device Support
#
CONFIG_GPIOLIB=y
CONFIG_ARCH_NR_GPIO=1024
CONFIG_GPIO_GENERIC=y
CONFIG_OF_GPIO=y
CONFIG_GPIO_MXC=y

#
# Pin Controller
#
CONFIG_PINCTRL=y
CONFIG_PINMUX=y
CONFIG_PINCONF=y
# CONFIG_GENERIC_PINCONF is not set
# CONFIG_PINCTRL_SUNXI is not set
CONFIG_PINCTRL_IMX=y
CONFIG_PINCTRL_IMX6Q=y

#
# SPI drivers
#
CONFIG_SPI=y
CONFIG_SPI_MASTER=y

#
# SPI Master Controller Drivers
#
CONFIG_SPI_BITBANG=y
CONFIG_SPI_IMX=y

#
# I2C support
#
CONFIG_I2C=y
CONFIG_I2C_BOARDINFO=y

#
# I2C Hardware Bus support
#

#
# I2C system bus drivers (mostly embedded / system-on-chip)
#
CONFIG_I2C_IMX=y

#
# PWM Drivers
#
CONFIG_PWM=y
CONFIG_PWM_IMX=y

#
# Reset drivers
#
CONFIG_RESET_CONTROLLER=y
CONFIG_IMX_RESET=y

#
# Miscellaneous Drivers
#
CONFIG_SRAM=y

#
# Device Emulators
#

#
# VirtIO Support
#
CONFIG_EMU_VIRTIO=y
CONFIG_EMU_VIRTIO_MMIO=y

#
# 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
# CONFIG_EMU_PIC_I8259 is not set
# CONFIG_EMU_PIC_LAPIC is not set

#
# Timer Emulators
#
CONFIG_EMU_TIMER=y
CONFIG_EMU_TIMER_SP804=y
CONFIG_EMU_TIMER_ARM_MPTIMER=y
# CONFIG_EMU_TIMER_INTEL_8254 is not set
# CONFIG_EMU_TIMER_HPET is not set

#
# Cache Controller Emulators
#
CONFIG_EMU_CACHE_L2X0=y

#
# Miscellaneous Emulators
#
CONFIG_EMU_MISC_ZERO=y
# CONFIG_EMU_MISC_ARM11MPCORE is not set
CONFIG_EMU_MISC_A9MPCORE=y
# CONFIG_EMU_MISC_FW_CFG is not set

#
# Network Interface Controller Emulators
#
CONFIG_EMU_NET=y
CONFIG_EMU_NET_LAN9118=y
# CONFIG_EMU_NET_SMC91C111 is not set
# CONFIG_EMU_NET_VIRTIO is not set

#
# Block Device Emulators
#
# CONFIG_EMU_BLOCK is not set

#
# Display Emulators
#
CONFIG_EMU_DISPLAY=y
CONFIG_EMU_DISPLAY_PL110=y

#
# Input Device Emulators
#
CONFIG_EMU_INPUT=y
CONFIG_EMU_INPUT_PS2=y
CONFIG_EMU_INPUT_PL050=y
# CONFIG_EMU_INPUT_I8042 is not set

#
# Serial Port Emulators
#
CONFIG_EMU_SERIAL=y
CONFIG_EMU_SERIAL_PL011=y
# CONFIG_EMU_SERIAL_NS16550 is not set

#
# Console Emulators
#
CONFIG_EMU_CONSOLE=y
CONFIG_EMU_CONSOLE_VIRTIO=y

#
# Real-Time Clock Emulators
#
CONFIG_EMU_RTC=y
CONFIG_EMU_RTC_PL031=y
# CONFIG_EMU_RTC_MC146818 is not set

#
# GPIO Emulators
#
CONFIG_EMU_GPIO=y
CONFIG_EMU_GPIO_PL061=y
# CONFIG_EMU_PCI is not set

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