#
# Automatically generated make config: don't edit
#Palacios: 
# Tue Nov  1 11:49:28 2011
#

#
# Target Configuration
#
# V3_CONFIG_KITTEN is not set
# V3_CONFIG_LINUX_BUILTIN is not set
V3_CONFIG_LINUX=y
V3_CONFIG_LINUX_KERN="/nfs/faculty/bridges/src/palacios-linux/host-system/linux-2.6.37"
# V3_CONFIG_MINIX is not set
# V3_CONFIG_OTHER_OS is not set
# V3_CONFIG_CRAY_XT is not set
V3_CONFIG_SVM=y
V3_CONFIG_VMX=y
V3_CONFIG_FRAME_POINTER=y
V3_CONFIG_DEBUG_INFO=y
# V3_CONFIG_XED is not set
V3_CONFIG_V3_DECODER=y

#
# Supported host OS features
#
V3_CONFIG_ALIGNED_PG_ALLOC=y
V3_CONFIG_MAX_CPUS=16

#
# Host Interfaces
#
V3_CONFIG_FILE=y
# V3_CONFIG_KEYED_STREAMS is not set
V3_CONFIG_STREAM=y
V3_CONFIG_CONSOLE=y
V3_CONFIG_GRAPHICS_CONSOLE=y
V3_CONFIG_SOCKET=y
# V3_CONFIG_HOST_DEVICE is not set

#
# Extensions
#
# V3_CONFIG_EXT_VTIME is not set
V3_CONFIG_EXT_MTRRS=y
# V3_CONFIG_EXT_MACH_CHECK is not set
V3_CONFIG_EXT_INSPECTOR=y
V3_CONFIG_EXT_SW_INTERRUPTS=y
# V3_CONFIG_DEBUG_EXT_SW_INTERRUPTS is not set
# V3_CONFIG_EXT_SWINTR_PASSTHROUGH is not set
# V3_CONFIG_EXT_SYSCALL_HIJACK is not set
# V3_CONFIG_TELEMETRY is not set
# V3_CONFIG_EXPERIMENTAL is not set
# V3_CONFIG_CHECKPOINT is not set

#
# Standard library functions
#
V3_CONFIG_BUILT_IN_STDLIB=y
# V3_CONFIG_BUILT_IN_MEMSET is not set
# V3_CONFIG_BUILT_IN_MEMCPY is not set
# V3_CONFIG_BUILT_IN_MEMMOVE is not set
# V3_CONFIG_BUILT_IN_MEMCMP is not set
# V3_CONFIG_BUILT_IN_STRLEN is not set
# V3_CONFIG_BUILT_IN_STRNLEN is not set
# V3_CONFIG_BUILT_IN_STRCMP is not set
V3_CONFIG_BUILT_IN_STRCASECMP=y
# V3_CONFIG_BUILT_IN_STRNCMP is not set
# V3_CONFIG_BUILT_IN_STRNCASECMP is not set
# V3_CONFIG_BUILT_IN_STRCAT is not set
# V3_CONFIG_BUILT_IN_STRNCAT is not set
# V3_CONFIG_BUILT_IN_STRCPY is not set
# V3_CONFIG_BUILT_IN_STRNCPY is not set
V3_CONFIG_BUILT_IN_STRDUP=y
# V3_CONFIG_BUILT_IN_STRSTR is not set
V3_CONFIG_BUILT_IN_ATOI=y
# V3_CONFIG_BUILT_IN_STRCHR is not set
# V3_CONFIG_BUILT_IN_STRRCHR is not set
# V3_CONFIG_BUILT_IN_STRPBRK is not set
# V3_CONFIG_BUILT_IN_STDIO is not set
V3_CONFIG_BUILT_IN_USERSPACE_SYMS=y
V3_CONFIG_BUILT_IN_STDIN=y
V3_CONFIG_BUILT_IN_STDOUT=y
V3_CONFIG_BUILT_IN_STDERR=y
V3_CONFIG_BUILT_IN_FPRINTF=y
V3_CONFIG_BUILT_IN_PRINTF=y
V3_CONFIG_BUILT_IN_FFLUSH=y
V3_CONFIG_BUILT_IN_ABORT=y

#
# Virtual Paging
#
V3_CONFIG_SHADOW_PAGING=y
V3_CONFIG_SHADOW_PAGING_VTLB=y
# V3_CONFIG_DEBUG_SHDW_PG_VTLB is not set
V3_CONFIG_SHADOW_PAGING_CACHE1=y

#
# Time Management
#
# V3_CONFIG_VIRTUALIZE_TIME is not set

#
# Symbiotic Functions
#
# V3_CONFIG_SYMBIOTIC is not set

#
# VNET
#
# V3_CONFIG_VNET is not set

#
# Debug configuration
#
V3_CONFIG_DEBUG_ON=y
# V3_CONFIG_DEBUG_SVM is not set
# V3_CONFIG_DEBUG_VMX is not set
# V3_CONFIG_DEBUG_SHADOW_PAGING is not set
# V3_CONFIG_DEBUG_NESTED_PAGING is not set
# V3_CONFIG_DEBUG_CTRL_REGS is not set
# V3_CONFIG_DEBUG_INTERRUPTS is not set
# V3_CONFIG_DEBUG_TIME is not set
# V3_CONFIG_DEBUG_IO is not set
# V3_CONFIG_DEBUG_EMULATOR is not set
# V3_CONFIG_DEBUG_DECODER is not set
# V3_CONFIG_DEBUG_HALT is not set
# V3_CONFIG_DEBUG_DEV_MGR is not set
# V3_CONFIG_DEBUG_MEM_ERRORS is not set

#
# BIOS Selection
#
V3_CONFIG_ROMBIOS_PATH="./bios/rombios/BIOS-bochs-latest"
V3_CONFIG_VGABIOS_PATH="./bios/vgabios/VGABIOS-lgpl-latest.bin"
V3_CONFIG_VMXASSIST_PATH="./bios/vmxassist/vmxassist.bin"

#
# Virtual Devices
#
V3_CONFIG_APIC=y
# V3_CONFIG_DEBUG_APIC is not set
V3_CONFIG_IO_APIC=y
# V3_CONFIG_DEBUG_IO_APIC is not set
V3_CONFIG_MPTABLE=y
V3_CONFIG_BOCHS_DEBUG=y
V3_CONFIG_GENERIC=y
# V3_CONFIG_DEBUG_GENERIC is not set
V3_CONFIG_I440FX=y
V3_CONFIG_IDE=y
# V3_CONFIG_DEBUG_IDE is not set
V3_CONFIG_KEYBOARD=y
# V3_CONFIG_DEBUG_KEYBOARD is not set
V3_CONFIG_LINUX_VIRTIO_BALLOON=y
# V3_CONFIG_DEBUG_VIRTIO_BALLOON is not set
V3_CONFIG_LINUX_VIRTIO_BLOCK=y
# V3_CONFIG_DEBUG_VIRTIO_BLOCK is not set
# V3_CONFIG_LINUX_VIRTIO_CONSOLE is not set
V3_CONFIG_NVRAM=y
# V3_CONFIG_DEBUG_NVRAM is not set
V3_CONFIG_OS_DEBUG=y
V3_CONFIG_PIIX3=y
V3_CONFIG_PCI=y
# V3_CONFIG_DEBUG_PCI is not set
V3_CONFIG_PIC=y
# V3_CONFIG_DEBUG_PIC is not set
V3_CONFIG_PIT=y
# V3_CONFIG_DEBUG_PIT is not set
V3_CONFIG_FILEDISK=y
# V3_CONFIG_DEBUG_FILEDISK is not set
V3_CONFIG_NETDISK=y
V3_CONFIG_RAMDISK=y
# V3_CONFIG_DEBUG_RAMDISK is not set
V3_CONFIG_TMPDISK=y
V3_CONFIG_DISK_MODEL=y
V3_CONFIG_VGA=y
# V3_CONFIG_DEBUG_VGA is not set
V3_CONFIG_CGA=y
V3_CONFIG_DEBUG_CGA=0
# V3_CONFIG_TELNET_CONSOLE is not set
V3_CONFIG_CURSES_CONSOLE=y
V3_CONFIG_SERIAL_UART=y
# V3_CONFIG_DEBUG_SERIAL is not set
V3_CONFIG_CHAR_STREAM=y