1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <console/console.h>
7 uint32_t board_id(void)
10 gpio_t gpio
[] = {[3] = GPIO(X4
), [2] = GPIO(X1
), /* X4 is MSB */
11 [1] = GPIO(T1
), [0] = GPIO(Q3
),}; /* Q3 is LSB */
14 id
= gpio_base3_value(gpio
, ARRAY_SIZE(gpio
));
16 printk(BIOS_SPEW
, "Board TRISTATE ID: %d.\n", id
);