4 uses USE_FALLBACK_IMAGE
5 uses HAVE_FALLBACK_BOOT
9 uses CONFIG_ROM_PAYLOAD
13 uses MAINBOARD_PART_NUMBER
14 uses COREBOOT_EXTRA_VERSION
23 uses ROM_SECTION_OFFSET
24 uses CONFIG_ROM_PAYLOAD_START
25 uses CONFIG_COMPRESSED_PAYLOAD_NRV2B
26 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
27 uses CONFIG_PRECOMPRESSED_PAYLOAD
40 uses DEFAULT_CONSOLE_LOGLEVEL
41 uses MAXIMUM_CONSOLE_LOGLEVEL
42 uses CONFIG_CONSOLE_SERIAL8250
43 uses CONFIG_UDELAY_TSC
44 uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
45 uses CONFIG_PCI_ROM_RUN
46 uses CONFIG_CONSOLE_VGA
47 uses CONFIG_MAX_PCI_BUSES
50 ## ROM_SIZE is the size of boot ROM that this board will use.
51 default ROM_SIZE = 256*1024
56 default CONFIG_PCI_ROM_RUN=0
57 default CONFIG_CONSOLE_VGA=0
60 ## Build code for the fallback boot
62 default HAVE_FALLBACK_BOOT=1
67 default HAVE_MP_TABLE=0
70 ## Use TSC for udelay.
72 default CONFIG_UDELAY_TSC=1
73 default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2=1
76 ## Build code to reset the motherboard from coreboot
78 default HAVE_HARD_RESET=0
81 ## Build code to export a programmable irq routing table
83 default HAVE_PIRQ_TABLE=1
84 default IRQ_SLOT_COUNT=5
88 ## Build code to load acpi tables
90 default HAVE_ACPI_TABLES=1
94 ## Build code to export a CMOS option table
96 default HAVE_OPTION_TABLE=1
99 ### coreboot layout values
102 ## ROM_IMAGE_SIZE is the amount of space to allow coreboot to occupy.
103 default ROM_IMAGE_SIZE = 65536
104 default FALLBACK_SIZE = 131072
107 ## Use a small 8K stack
109 default STACK_SIZE=0x2000
112 ## Use a small 16K heap
114 default HEAP_SIZE=0x4000
117 ## Only use the option table in a normal image
119 #default USE_OPTION_TABLE = !USE_FALLBACK_IMAGE
120 default USE_OPTION_TABLE = 0
122 default _RAMBASE = 0x00004000
124 default CONFIG_ROM_PAYLOAD = 1
127 ## The default compiler
129 default CROSS_COMPILE=""
130 default CC="$(CROSS_COMPILE)gcc -m32"
134 ## Set this to the max PCI bus number you
135 ## would ever use for PCI config IO.
136 ## Setting this number very high will make
137 ## pci_locate_device take a long time when
138 ## it can't find a device.
140 default CONFIG_MAX_PCI_BUSES = 5
142 default MAXIMUM_CONSOLE_LOGLEVEL=8
143 default DEFAULT_CONSOLE_LOGLEVEL=8
144 default CONFIG_CONSOLE_SERIAL8250=1
151 default CONFIG_ROMFS=0