/*
 * Automatically generated C config: don't edit
 * coreboot version: 4.0
 * Tue Mar  2 17:13:53 2010
 */
#define AUTOCONF_INCLUDED
#define CONFIG_CONSOLE_SERIAL8250 1
#define CONFIG_VENDOR_JETWAY 0
#define CONFIG_VENDOR_WINENT 0
#define CONFIG_COREBOOT_ROMSIZE_KB_4096 0
#define CONFIG_BOARD_HAS_HARD_RESET 0
#define CONFIG_VENDOR_RCA 0
#define CONFIG_VENDOR_NEC 0
#define CONFIG_VENDOR_IEI 0
#define CONFIG_VENDOR_IBM 0
#define CONFIG_ROMBASE 0xffff0000
#define CONFIG_VENDOR_ASI 0
#define CONFIG_LB_CKS_LOC 126
#define CONFIG_UDELAY_TSC 1
#define CONFIG_VENDOR_VIA 0
#define CONFIG_GENERATE_MP_TABLE 0
#define CONFIG_MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID 0x0
#define CONFIG_STACK_SIZE 0x8000
#define CONFIG_K8_REV_F_SUPPORT 0
#define CONFIG_VAR_MTRR_HOLE 1
#define CONFIG_VENDOR_MSI 0
#define CONFIG_ARCH "i386"
#define CONFIG_HYPERTRANSPORT_PLUGIN_SUPPORT 0
#define CONFIG_BOARD_HAS_FADT 0
#define CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 0
#define CONFIG_VENDOR_TECHNEXION 0
#define CONFIG_USE_DCACHE_RAM 0
#define CONFIG_HAVE_OPTION_TABLE 0
#define CONFIG_WRITE_HIGH_TABLES 1
#define CONFIG_YABEL_DIRECTHW 0
#define CONFIG_COMPRESSED_PAYLOAD_NRV2B 0
#define CONFIG_ID_SECTION_OFFSET 0x10
#define CONFIG_VENDOR_PC_ENGINES 0
#define CONFIG_HAVE_MAINBOARD_RESOURCES 0
#define CONFIG_PIRQ_ROUTE 0
#define CONFIG_I830_VIDEO_MB_512KB 0
#define CONFIG_USE_WATCHDOG_ON_BOOT 0
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL 8
#define CONFIG_CONSOLE_LOGBUF 0
#define CONFIG_AP_CODE_IN_CAR 0
#define CONFIG_VENDOR_SUPERMICRO 0
#define CONFIG_CONSOLE_VGA_MULTI 0
#define CONFIG_MAX_PHYSICAL_CPUS 1
#define CONFIG_USE_FALLBACK_IMAGE 1
#define CONFIG_PAYLOAD_ELF 0
#define CONFIG_VENDOR_BIOSTAR 0
#define CONFIG_PCI_BUS_SEGN_BITS 0
#define CONFIG_TINY_BOOTBLOCK 0
#define CONFIG_ARCH_X86 1
#define CONFIG_HAVE_FALLBACK_BOOT 1
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL 8
#define CONFIG_ROM_IMAGE_SIZE 0x10000
#define CONFIG_VENDOR_A_TREND 0
#define CONFIG_MAINBOARD_PART_NUMBER "IP1000"
#define CONFIG_CBFS_PREFIX "fallback"
#define CONFIG_VENDOR_LIPPERT 0
#define CONFIG_VENDOR_ABIT 0
#define CONFIG_PCI_64BIT_PREF_MEM 0
#define CONFIG_VENDOR_DELL 0
#define CONFIG_VENDOR_BCOM 0
#define CONFIG_USE_PRINTK_IN_CAR 0
#define CONFIG_CONSOLE_VGA 1
#define CONFIG_PCI_IO_CFG_EXT 0
#define CONFIG_VENDOR_RODA 0
#define CONFIG_MAX_REBOOT_CNT 3
#define CONFIG_VENDOR_THOMSON 1
#define CONFIG_VENDOR_KONTRON 0
#define CONFIG_VENDOR_OLPC 0
#define CONFIG_MMCONF_SUPPORT 0
#define CONFIG_VENDOR_TECHNOLOGIC 0
#define CONFIG_PCI_OPTION_ROM_RUN_REALMODE 0
#define CONFIG_ENABLE_APIC_EXT_ID 0
#define CONFIG_VENDOR_NEWISYS 0
#define CONFIG_CONSOLE_SERIAL_9600 0
#define CONFIG_ACPI_SSDTX_NUM 0
#define CONFIG_SOUTHBRIDGE_INTEL_I82801DX 1
#define CONFIG_VENDOR_AZZA 0
#define CONFIG_SERIAL_POST 0
#define CONFIG_VIDEO_MB 8
#define CONFIG_USE_FAILOVER_IMAGE 0
#define CONFIG_DEBUG 0
#define CONFIG_VENDOR_TYAN 0
#define CONFIG_VENDOR_ASUS 0
#define CONFIG_GDB_STUB 1
#define CONFIG_VGA_BIOS 1
#define CONFIG_USBDEBUG_DIRECT 0
#define CONFIG_HAVE_FAILOVER_BOOT 0
#define CONFIG_VENDOR_AXUS 0
#define CONFIG_WAIT_BEFORE_CPUS_INIT 0
#define CONFIG_ROMCC 1
#define CONFIG_VENDOR_BROADCOM 0
#define CONFIG_IRQ_SLOT_COUNT 7
#define CONFIG_VENDOR_SOYO 0
#define CONFIG_FALLBACK_VGA_BIOS_FILE "alm_2756.bin"
#define CONFIG_SUPERIO_SMSC_SMSCSUPERIO 1
#define CONFIG_VENDOR_GIGABYTE 0
#define CONFIG_VENDOR_SUNW 0
#define CONFIG_PCI_ROM_RUN 1
#define CONFIG_VGA_ROM_RUN 1
#define CONFIG_USE_INIT 0
#define CONFIG_MAX_CPUS 1
#define CONFIG_PCI_OPTION_ROM_RUN_YABEL 1
#define CONFIG_HAVE_BUS_CONFIG 0
#define CONFIG_HAVE_HARD_RESET 0
#define CONFIG_HAVE_PIRQ_TABLE 1
#define CONFIG_LB_CKS_RANGE_START 49
#define CONFIG_ROM_SIZE 0x80000
#define CONFIG_VENDOR_ARTEC_GROUP 0
#define CONFIG_UDELAY_LAPIC 0
#define CONFIG_CONSOLE_SERIAL_19200 0
#define CONFIG_HAVE_LOW_TABLES 1
#define CONFIG_CONSOLE_VGA_ONBOARD_AT_FIRST 1
#define CONFIG_CONSOLE_SERIAL_38400 0
#define CONFIG_LOCALVERSION ""
#define CONFIG_CONSOLE_SERIAL_57600 0
#define CONFIG_PCIEXP_PLUGIN_SUPPORT 1
#define CONFIG_ONBOARD_MEMORY_64MB 0
#define CONFIG_LOGICAL_CPUS 1
#define CONFIG_HAVE_INIT_TIMER 1
#define CONFIG_VENDOR_ARIMA 0
#define CONFIG_PAYLOAD_NONE 1
#define CONFIG_SERIAL_CPU_INIT 1
#define CONFIG_VENDOR_MITAC 0
#define CONFIG_CONSOLE_SERIAL_COM1 1
#define CONFIG_CONSOLE_SERIAL_COM2 0
#define CONFIG_AGP_PLUGIN_SUPPORT 1
#define CONFIG_CONSOLE_SERIAL_COM3 0
#define CONFIG_CONSOLE_SERIAL_COM4 0
#define CONFIG_YABEL_VIRTMEM_LOCATION 0x1000000
#define CONFIG_BOARD_THOMSON_IP1000 1
#define CONFIG_VENDOR_INTEL 0
#define CONFIG_GENERATE_PIRQ_TABLE 1
#define CONFIG_VENDOR_IWILL 0
#define CONFIG_AP_IN_SIPI_WAIT 0
#define CONFIG_INTEL_MBI 1
#define CONFIG_CONSOLE_SROM 0
#define CONFIG_IOAPIC 1
#define CONFIG_XIP_ROM_BASE 0xfffe0000
#define CONFIG_HEAP_SIZE 0x4000
#define CONFIG_CONSOLE_SERIAL_115200 1
#define CONFIG_MAINBOARD_VENDOR "Thomson"
#define CONFIG_UDELAY_IO 0
#define CONFIG_VENDOR_ADVANTECH 0
#define CONFIG_CPU_INTEL_SOCKET_PGA370 1
#define CONFIG_HAVE_HIGH_TABLES 1
#define CONFIG_VENDOR_EAGLELION 0
#define CONFIG_MULTIBOOT 1
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0 0
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_1 0
#define CONFIG_MMCONF_SUPPORT_DEFAULT 0
#define CONFIG_NORTHBRIDGE_INTEL_I82830 1
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_2 0
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_3 0
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_4 0
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5 0
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_6 0
#define CONFIG_TTYS0_LCS 3
#define CONFIG_VENDOR_HP 0
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7 0
#define CONFIG_ONBOARD_MEMORY_128MB 1
#define CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8 1
#define CONFIG_I830_VIDEO_MB_1MB 0
#define CONFIG_COREBOOT_ROMSIZE_KB_512 1
#define CONFIG_GFXUMA 0
#define CONFIG_HAVE_SMI_HANDLER 1
#define CONFIG_DCACHE_RAM_GLOBAL_VAR_SIZE 0x0
#define CONFIG_COREBOOT_ROMSIZE_KB_128 0
#define CONFIG_MAINBOARD_DIR "thomson/ip1000"
#define CONFIG_COREBOOT_ROMSIZE_KB_256 0
#define CONFIG_CARDBUS_PLUGIN_SUPPORT 1
#define CONFIG_I830_VIDEO_MB_8MB 1
#define CONFIG_VENDOR_TELEVIDEO 0
#define CONFIG_BIG_BOOTBLOCK 1
#define CONFIG_HAVE_ACPI_RESUME 0
#define CONFIG_LB_CKS_RANGE_END 125
#define CONFIG_COREBOOT_ROMSIZE_KB 512
#define CONFIG_RAMTOP 0x200000
#define CONFIG_BOARD_ROMSIZE_KB_512 1
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_0 0
#define CONFIG_XIP_ROM_SIZE 0x20000
#define CONFIG_EXPERT 1
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_1 0
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_2 0
#define CONFIG_VGA_BRIDGE_SETUP 1
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_3 0
#define CONFIG_LIFT_BSP_APIC_ID 0
#define CONFIG_VENDOR_EMULATION 0
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_4 0
#define CONFIG_WARNINGS_ARE_ERRORS 0
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_5 0
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_6 0
#define CONFIG_VGA 0
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_7 0
#define CONFIG_MAXIMUM_CONSOLE_LOGLEVEL_8 1
#define CONFIG_GENERATE_ACPI_TABLES 0
#define CONFIG_I830_VIDEO_MB_OFF 0
#define CONFIG_FALLBACK_VGA_BIOS_ID "8086,3577"
#define CONFIG_FALLBACK_MBI_FILE "alm_2756_vbt.bin"
#define CONFIG_VENDOR_NVIDIA 0
#define CONFIG_USE_OPTION_TABLE 0
#define CONFIG_VENDOR_COMPAQ 0
#define CONFIG_SMP 0
#define CONFIG_MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID 0x0
#define CONFIG_MMX 1
#define CONFIG_CPU_ADDR_BITS 36
#define CONFIG_COREBOOT_ROMSIZE_KB_1024 0
#define CONFIG_VENDOR_DIGITAL_LOGIC 0
#define CONFIG_CONSOLE_BTEXT 0
#define CONFIG_RAMBASE 0x100000
#define CONFIG_YABEL_PCI_ACCESS_OTHER_DEVICES 1
#define CONFIG_PCIX_PLUGIN_SUPPORT 1
#define CONFIG_COREBOOT_ROMSIZE_KB_2048 0
#define CONFIG_TTYS0_BASE 0x3f8
#define CONFIG_BOOTSPLASH 0
#define CONFIG_YABEL_DEBUG_FLAGS 0x1fe
#define CONFIG_TTYS0_BAUD 115200
#define CONFIG_VENDOR_AMD 0