We define IO_APIC_ADDR in <arch/ioapic.h>, let's use it.
[coreboot.git] / src / mainboard / ibase / Kconfig
1 if VENDOR_IBASE
2
3 choice
4         prompt "Mainboard model"
5
6 config BOARD_IBASE_MB899
7         bool "MB899"
8
9 endchoice
10
11 source "src/mainboard/ibase/mb899/Kconfig"
12
13 config MAINBOARD_VENDOR
14         string
15         default "iBase"
16
17 endif # VENDOR_IBASE