/* SPDX-License-Identifier: GPL-2.0-only */

#include <boardid.h>
#include "commands.h"

uint32_t board_id(void)
{
	MAYBE_STATIC_NONZERO uint32_t id = BOARD_ID_INIT;

	if (id == BOARD_ID_INIT) {
		uint8_t ec_id;
		if (wilco_ec_get_board_id(&ec_id) <= 0)
			id = BOARD_ID_UNKNOWN;
		else
			id = ec_id;
	}

	return id;
}