2 # Automatically generated make config: don't edit
4 # Mon Aug 18 03:48:01 2008
6 CONFIG_HAVE_DOT_CONFIG=y
14 CONFIG_SHOW_DOWNLOAD_PROGRESSBAR=y
15 # CONFIG_STORE_SVN_INFO is not set
19 # coreboot configuration
21 # CONFIG_COREBOOT_V2 is not set
23 CONFIG_COREBOOT_V3_OVERRIDE_ROM_SIZE=y
24 CONFIG_COREBOOT_V3_ROM_SIZE=2048
25 # CONFIG_CB_USE_BUILD is not set
27 # CONFIG_CB_CUSTOM_REV is not set
30 # CONFIG_PLATFORM_SUPPORT_64BIT is not set
31 # CONFIG_PLATFORM_GEODE is not set
32 CONFIG_PAYLOAD_64BIT=y
34 # CONFIG_TARGET_64BIT is not set
35 # CONFIG_USE_NRV2B is not set
38 # Platform Configuration
40 # CONFIG_VENDOR_AMD is not set
41 # CONFIG_VENDOR_ARTEC_GROUP is not set
42 # CONFIG_VENDOR_ASUS is not set
43 # CONFIG_VENDOR_ADVANCED_DIGITAL_LOGIC is not set
44 # CONFIG_VENDOR_GIGABYTE is not set
45 # CONFIG_VENDOR_PC_ENGINES is not set
47 # CONFIG_VENDOR_SUPERMICRO is not set
48 # CONFIG_VENDOR_TYAN is not set
49 # CONFIG_PLATFORM_NORWICH is not set
50 # CONFIG_PLATFORM_DBE61 is not set
51 # CONFIG_PLATFORM_ALIX1C is not set
52 # CONFIG_PLATFORM_ALIX2C3 is not set
53 # CONFIG_PLATFORM_MSM800SEV is not set
54 # CONFIG_PLATFORM_DB800 is not set
55 # CONFIG_PLATFORM_GA_M57SLI_S4 is not set
56 # CONFIG_PLATFORM_ASUS_A8V_E_SE is not set
57 # CONFIG_PLATFORM_GA_2761GXDK is not set
58 # CONFIG_PLATFORM_TYAN_S2881 is not set
59 # CONFIG_PLATFORM_TYAN_S2882 is not set
60 # CONFIG_PLATFORM_TYAN_S2891 is not set
61 # CONFIG_PLATFORM_TYAN_S2892 is not set
62 # CONFIG_PLATFORM_TYAN_S2895 is not set
63 CONFIG_PLATFORM_QEMU-X86=y
64 # CONFIG_PLATFORM_SERENGETI_CHEETAH is not set
65 # CONFIG_PLATFORM_SUPERMICRO_H8DMR is not set
66 # CONFIG_PLATFORM_CHEETAH_FAM10 is not set
67 # CONFIG_VSA_LEGACY is not set
68 # CONFIG_VSA_OPENVSA is not set
69 # CONFIG_BUILD_QEMU is not set
71 # CONFIG_SIMNOW is not set
74 # Payload Configuration
77 # CONFIG_PAYLOAD_COREINFO is not set
78 # CONFIG_PAYLOAD_CUSTOM is not set
79 # CONFIG_PAYLOAD_GPXE is not set
80 # CONFIG_PAYLOAD_ETHERBOOT is not set
81 # CONFIG_PAYLOAD_FILO is not set
82 # CONFIG_PAYLOAD_GRUB2 is not set
83 # CONFIG_PAYLOAD_KERNEL is not set
84 # CONFIG_PAYLOAD_LAB is not set
85 # CONFIG_PAYLOAD_LEGACYBIOS is not set
86 CONFIG_PAYLOAD_AVATT=y
87 # CONFIG_PAYLOAD_SEABIOS is not set
88 # CONFIG_PAYLOAD_OFW is not set
89 # CONFIG_PAYLOAD_OPENBIOS is not set
90 # CONFIG_PAYLOAD_MEMTEST is not set
91 # CONFIG_PAYLOAD_TINT is not set
92 # CONFIG_CHOOSE_64BIT is not set
93 # CONFIG_CHOOSE_32BIT is not set
94 CONFIG_CUSTOM_PAYLOAD=""
96 # CONFIG_KBL_KEXEC_ONLY is not set
97 # CONFIG_KBL is not set
102 # AVATT Configuration
106 # CONFIG_MEMTEST_SERIAL is not set
107 CONFIG_ETHERBOOT_DRIVER=""
108 CONFIG_GPXE_DRIVER=""