Patch set updated for coreboot: b4010b9 google/pit: Don't spew output with GPIO config

[Gabe Black]

Gabe Black ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3670

-gerrit

commit b4010b9cf97d31adf0fe1a4152cc572cb11ca4f7
Author: Stefan Reinauer 
Date:   Mon May 20 12:51:02 2013 -0700

google/pit: Don't spew output with GPIO config

There are hundreds of GPIOs on the Exynos5420. Don't
    always print all of them per default.

Change-Id: I2152ab760e31a335dbcd9d6ad32cd1eaae4b89bc
    Signed-off-by: Stefan Reinauer 
    Signed-off-by: Gabe Black 
---
 src/mainboard/google/pit/mainboard.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/mainboard/google/pit/mainboard.c b/src/mainboard/google/pit/mainboard.c
index 77d48f9..dccb095 100644
--- a/src/mainboard/google/pit/mainboard.c
+++ b/src/mainboard/google/pit/mainboard.c
@@ -201,6 +201,8 @@ static void mainboard_init(device_t dev)
    set_vbe_mode_info_valid(&edid, (uintptr_t)fb_addr);

lcd_vdd();
+
+	// FIXME: should timeout
    do {
    	udelay(50);
    } while (!exynos_dp_hotplug());
@@ -228,7 +230,8 @@ static void mainboard_init(device_t dev)
    if (dp_tries > MAX_DP_TRIES)
    	printk(BIOS_ERR, "%s: Failed to set up displayport\n", __func__);

-	gpio_info();
+	// Uncomment to get excessive GPIO output:
+	// gpio_info();
 }

static void mainboard_enable(device_t dev)