1 uses CONFIG_GENERATE_MP_TABLE
2 uses CONFIG_GENERATE_PIRQ_TABLE
3 uses CONFIG_USE_FALLBACK_IMAGE
4 uses CONFIG_HAVE_FALLBACK_BOOT
5 uses CONFIG_HAVE_HARD_RESET
6 uses CONFIG_HAVE_OPTION_TABLE
7 uses CONFIG_USE_OPTION_TABLE
8 uses CONFIG_ROM_PAYLOAD
10 uses CONFIG_IRQ_SLOT_COUNT
12 uses CONFIG_MAINBOARD_VENDOR
13 uses CONFIG_MAINBOARD_PART_NUMBER
14 uses COREBOOT_EXTRA_VERSION
16 uses CONFIG_FALLBACK_SIZE
17 uses CONFIG_STACK_SIZE
20 uses CONFIG_ROM_SECTION_SIZE
21 uses CONFIG_ROM_IMAGE_SIZE
22 uses CONFIG_ROM_SECTION_SIZE
23 uses CONFIG_ROM_SECTION_OFFSET
24 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
25 uses CONFIG_PRECOMPRESSED_PAYLOAD
28 uses CONFIG_XIP_ROM_SIZE
29 uses CONFIG_XIP_ROM_BASE
30 uses CONFIG_GENERATE_MP_TABLE
31 uses CONFIG_CROSS_COMPILE
36 uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL
37 uses CONFIG_MAXIMUM_CONSOLE_LOGLEVEL
38 default CONFIG_DEFAULT_CONSOLE_LOGLEVEL=9
39 default CONFIG_MAXIMUM_CONSOLE_LOGLEVEL=9
40 ## CONFIG_ROM_SIZE is the size of boot ROM that this board will use.
41 default CONFIG_ROM_SIZE = 1024*1024
48 ## Build code for the fallback boot
50 default CONFIG_HAVE_FALLBACK_BOOT=1
55 default CONFIG_GENERATE_MP_TABLE=0
58 ## Build code to reset the motherboard from coreboot
60 default CONFIG_HAVE_HARD_RESET=1
63 ## use io based udelay function
65 default CONFIG_UDELAY_IO=1
68 ## Build code to export a programmable irq routing table
70 default CONFIG_GENERATE_PIRQ_TABLE=1
71 default CONFIG_IRQ_SLOT_COUNT=5
75 ## Build code to export a CMOS option table
77 default CONFIG_HAVE_OPTION_TABLE=1
80 ### coreboot layout values
83 ## CONFIG_ROM_IMAGE_SIZE is the amount of space to allow coreboot to occupy.
84 default CONFIG_ROM_IMAGE_SIZE = 65536
85 default CONFIG_FALLBACK_SIZE = CONFIG_ROM_IMAGE_SIZE
88 ## Use a small 8K stack
90 default CONFIG_STACK_SIZE=0x2000
93 ## Use a small 16K heap
95 default CONFIG_HEAP_SIZE=0x4000
98 ## Only use the option table in a normal image
100 #default CONFIG_USE_OPTION_TABLE = !CONFIG_USE_FALLBACK_IMAGE
101 default CONFIG_USE_OPTION_TABLE = 0
103 default CONFIG_RAMBASE = 0x00004000
105 default CONFIG_ROM_PAYLOAD = 1
108 ## The default compiler
110 default CC="$(CONFIG_CROSS_COMPILE)gcc -m32"