3 uses USE_FALLBACK_IMAGE
4 uses HAVE_FALLBACK_BOOT
8 uses CONFIG_ROM_PAYLOAD
12 uses MAINBOARD_PART_NUMBER
13 uses COREBOOT_EXTRA_VERSION
22 uses ROM_SECTION_OFFSET
23 uses CONFIG_ROM_PAYLOAD_START
24 uses CONFIG_COMPRESSED_PAYLOAD_NRV2B
25 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
26 uses CONFIG_PRECOMPRESSED_PAYLOAD
38 uses DEFAULT_CONSOLE_LOGLEVEL
39 uses MAXIMUM_CONSOLE_LOGLEVEL
40 uses CONFIG_CONSOLE_SERIAL8250
41 uses CONFIG_UDELAY_TSC
42 uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
43 uses CONFIG_PCI_ROM_RUN
44 uses CONFIG_CONSOLE_VGA
45 uses CONFIG_MAX_PCI_BUSES
48 ## ROM_SIZE is the size of boot ROM that this board will use.
49 default ROM_SIZE = 256*1024
54 default CONFIG_PCI_ROM_RUN=0
55 default CONFIG_CONSOLE_VGA=0
58 ## Build code for the fallback boot
60 default HAVE_FALLBACK_BOOT=1
65 default HAVE_MP_TABLE=0
68 ## Use TSC for udelay.
70 default CONFIG_UDELAY_TSC=1
71 default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2=1
74 ## Build code to reset the motherboard from coreboot
76 default HAVE_HARD_RESET=0
79 ## Build code to export a programmable irq routing table
81 default HAVE_PIRQ_TABLE=1
82 default IRQ_SLOT_COUNT=5
86 ## Build code to load acpi tables
88 default HAVE_ACPI_TABLES=1
92 ## Build code to export a CMOS option table
94 default HAVE_OPTION_TABLE=1
97 ### coreboot layout values
100 ## ROM_IMAGE_SIZE is the amount of space to allow coreboot to occupy.
101 default ROM_IMAGE_SIZE = 65536
102 default FALLBACK_SIZE = 131072
105 ## Use a small 8K stack
107 default STACK_SIZE=0x2000
110 ## Use a small 16K heap
112 default HEAP_SIZE=0x4000
115 ## Only use the option table in a normal image
117 #default USE_OPTION_TABLE = !USE_FALLBACK_IMAGE
118 default USE_OPTION_TABLE = 0
120 default _RAMBASE = 0x00004000
122 default CONFIG_ROM_PAYLOAD = 1
125 ## The default compiler
127 default CROSS_COMPILE=""
128 default CC="$(CROSS_COMPILE)gcc -m32"
132 ## Set this to the max PCI bus number you
133 ## would ever use for PCI config IO.
134 ## Setting this number very high will make
135 ## pci_locate_device take a long time when
136 ## it can't find a device.
138 default CONFIG_MAX_PCI_BUSES = 5