Patrick Georgi (pgeorgi@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@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@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