1 /* SPDX-License-Identifier: GPL-2.0-only */
5 #include <console/console.h>
8 static int board_id_value
= -1;
10 static uint8_t get_board_id(void)
13 static gpio_t pins
[] = {[2] = BOARD_ID_2
, [1] = BOARD_ID_1
,
16 bid
= gpio_base2_value(pins
, ARRAY_SIZE(pins
));
18 printk(BIOS_INFO
, "Board ID %d\n", bid
);
23 uint32_t board_id(void)
25 if (board_id_value
< 0)
26 board_id_value
= get_board_id();
28 return board_id_value
;
31 uint32_t ram_code(void)
34 static gpio_t pins
[] = {[3] = RAM_ID_3
, [2] = RAM_ID_2
, [1] = RAM_ID_1
,
37 code
= gpio_base2_value(pins
, ARRAY_SIZE(pins
));
39 printk(BIOS_INFO
, "RAM Config: %u\n", code
);