diff options
author | Sven Schnelle <svens@stackframe.org> | 2012-06-25 21:35:45 +0200 |
---|---|---|
committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-07-14 17:31:13 +0200 |
commit | 6fa1d3a218332230826a5a5ebd676017b30b5930 (patch) | |
tree | ee5f4370ac11a18b5891d165a8f7bd9f45f3a6d4 /src/mainboard/supermicro/x7db8/Kconfig | |
parent | 246e84bc0d04e3e670ca815eca32bcfa3be7e2c2 (diff) |
Supermicro X7DB8: Use autogeneration of mptable
And fix the wrong indenting of devicetree.cb while at it.
Change-Id: Idbb19fb5d7155f44675098e79920caf65191c239
Signed-off-by: Sven Schnelle <svens@stackframe.org>
Reviewed-on: http://review.coreboot.org/1222
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Diffstat (limited to 'src/mainboard/supermicro/x7db8/Kconfig')
-rw-r--r-- | src/mainboard/supermicro/x7db8/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mainboard/supermicro/x7db8/Kconfig b/src/mainboard/supermicro/x7db8/Kconfig index 5365f85d7b..2e26c78ea9 100644 --- a/src/mainboard/supermicro/x7db8/Kconfig +++ b/src/mainboard/supermicro/x7db8/Kconfig @@ -12,6 +12,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy select HAVE_MP_TABLE select HAVE_PIRQ_TABLE select DRIVERS_I2C_W83793 + select DRIVERS_GENERIC_IOAPIC config MAINBOARD_DIR string |