diff options
| author | Sven Schnelle <svens@stackframe.org> | 2012-07-29 17:42:52 +0200 |
|---|---|---|
| committer | Ronald G. Minnich <rminnich@gmail.com> | 2012-07-31 05:52:44 +0200 |
| commit | a2701c60052df5544930a8dce8f01768834fdf28 (patch) | |
| tree | 3831f6373de54e935f236f367db2bd8edb1a3307 /src/mainboard/gigabyte/ga_2761gxdk | |
| parent | 1068087c64006a1af0d6dc04b2de6c3dbb7107a0 (diff) | |
Revert "remove CONFIG_SERIAL_CPU_INIT"
This reverts commit 78efc4c36c68b51b3e73acdb721a12ec23ed0369.
The broadcast patch was reverted, so this commit should also
be reverted. The reason for reverting the broadcast patch:
It turned out that sending IPIs via broadcast doesn't work on
Sandybridge. We tried to come up with a solution, but didn't
found any so far. So revert the code for now until we have
a working solution.
Change-Id: I05c27dec55fa681f455215be56dcbc5f22808193
Signed-off-by: Sven Schnelle <svens@stackframe.org>
Reviewed-on: http://review.coreboot.org/1380
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Diffstat (limited to 'src/mainboard/gigabyte/ga_2761gxdk')
| -rw-r--r-- | src/mainboard/gigabyte/ga_2761gxdk/Kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/mainboard/gigabyte/ga_2761gxdk/Kconfig b/src/mainboard/gigabyte/ga_2761gxdk/Kconfig index e7175aae10..d47344b147 100644 --- a/src/mainboard/gigabyte/ga_2761gxdk/Kconfig +++ b/src/mainboard/gigabyte/ga_2761gxdk/Kconfig @@ -73,6 +73,10 @@ config HT_CHAIN_END_UNITID_BASE hex default 0x20 +config SERIAL_CPU_INIT + bool + default n + config IRQ_SLOT_COUNT int default 11 |