Various Kconfig and Makefile.inc fixes and cosmetics.
[coreboot.git] / src / arch / i386 / Kconfig
1 config ARCH_X86
2         bool
3         help
4           This option is used to set the architecture of a mainboard.
5           It is usually set in mainboard/*/Kconfig.
6
7 config ARCH
8         string
9         default i386
10         depends on ARCH_X86
11         help
12           This is the name of the respective subdirectory in arch/.
13
14 config ROMBASE
15         hex
16         default 0xffc00000 if COREBOOT_ROMSIZE_KB_4096
17         default 0xffe00000 if COREBOOT_ROMSIZE_KB_2048
18         default 0xfff00000 if COREBOOT_ROMSIZE_KB_1024
19         default 0xfff80000 if COREBOOT_ROMSIZE_KB_512
20         default 0xfffc0000 if COREBOOT_ROMSIZE_KB_256
21         default 0xfffe0000 if COREBOOT_ROMSIZE_KB_128
22
23 config PAYLOAD_SIZE
24         hex
25         default 0
26
27 config ROM_PAYLOAD_START
28         hex
29         default 0xffc00000 if COREBOOT_ROMSIZE_KB_4096
30         default 0xffe00000 if COREBOOT_ROMSIZE_KB_2048
31         default 0xfff00000 if COREBOOT_ROMSIZE_KB_1024
32         default 0xfff80000 if COREBOOT_ROMSIZE_KB_512
33         default 0xfffc0000 if COREBOOT_ROMSIZE_KB_256
34         default 0xfffe0000 if COREBOOT_ROMSIZE_KB_128
35
36 config ROM_IMAGE_SIZE
37         hex
38         default 0x400000 if COREBOOT_ROMSIZE_KB_4096
39         default 0x200000 if COREBOOT_ROMSIZE_KB_2048
40         default 0x100000 if COREBOOT_ROMSIZE_KB_1024
41         default 0x80000 if COREBOOT_ROMSIZE_KB_512
42         default 0x40000 if COREBOOT_ROMSIZE_KB_256
43         default 0x20000 if COREBOOT_ROMSIZE_KB_128
44
45 config RAMBASE
46         hex
47         default 0x100000
48
49 config STACK_SIZE
50         hex
51         default 0x8000
52
53 menu "Misc options"
54
55 config MAX_REBOOT_CNT
56         int "Maximum reboot count"
57         default 3
58
59 endmenu
60