1 /* SPDX-License-Identifier: GPL-2.0-only */
8 uint32_t board_id(void)
13 gpio_t gpio
[] = {[1] = BD_ID1
, [0] = BD_ID0
}; /* ID0 is LSB */
15 id
= gpio_base3_value(gpio
, ARRAY_SIZE(gpio
));
21 uint32_t ram_code(void)
23 return sdram_get_ram_code();