[coreboot-gerrit] New patch to review for coreboot: google/peach_pit: disable Chrome OS support

[Patrick Georgi (pgeorgi@google.com)]

Patrick Georgi (pgeorgi at google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10730

-gerrit

commit 07b0241c08b2047e36132c0df703175cd139de29
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Tue Jun 30 17:43:44 2015 +0200

    google/peach_pit: disable Chrome OS support
    
    The Exynos SoC code and vboot really don't get along and things are not even
    in a good shape in Chrome OS' top of tree. Disable but don't rip out the
    support functions, so it could be revived.
    
    Change-Id: I982c5a3731b527fd1f1579e9de353819da656452
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
---
 src/mainboard/google/peach_pit/Kconfig | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/mainboard/google/peach_pit/Kconfig b/src/mainboard/google/peach_pit/Kconfig
index 4c6cbb9..3a94dec 100644
--- a/src/mainboard/google/peach_pit/Kconfig
+++ b/src/mainboard/google/peach_pit/Kconfig
@@ -25,7 +25,6 @@ config BOARD_SPECIFIC_OPTIONS # dummy
 	select EC_GOOGLE_CHROMEEC
 	select EC_GOOGLE_CHROMEEC_SPI
 	select BOARD_ROMSIZE_KB_4096
-	select MAINBOARD_HAS_CHROMEOS
 	select MAINBOARD_HAS_NATIVE_VGA_INIT
 	select MAINBOARD_DO_NATIVE_VGA_INIT
 	select DRIVER_PARADE_PS8625