[coreboot-gerrit] New patch to review for coreboot: board id gpios

[Aaron Durbin (adurbin@chromium.org)]

Aaron Durbin (adurbin at chromium.org) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/15562

-gerrit

commit 7297fb85b253d4e0127bb46acbc3bfb5ed643fa4
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Wed Jul 6 23:16:01 2016 -0500

    board id gpios
    
    Change-Id: I9cac82158e70e0af1b454ec4581c2e4622b95b4b
---
 src/mainboard/google/reef/mainboard.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/mainboard/google/reef/mainboard.c b/src/mainboard/google/reef/mainboard.c
index 2b121ef..588c739 100644
--- a/src/mainboard/google/reef/mainboard.c
+++ b/src/mainboard/google/reef/mainboard.c
@@ -14,6 +14,7 @@
  */
 
 #include <arch/acpi.h>
+#include <boardid.h>
 #include <console/console.h>
 #include <device/device.h>
 #include <nhlt.h>
@@ -24,6 +25,11 @@
 
 static void mainboard_init(void *chip_info)
 {
+	int boardid;
+
+	boardid = board_id();
+	printk(BIOS_INFO, "Board ID: %d\n", boardid);
+
 	gpio_configure_pads(gpio_table, ARRAY_SIZE(gpio_table));
 	mainboard_ec_init();
 }