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

#include <boardid.h>
#include <ec/google/wilco/commands.h>
#include <smbios.h>
#include <variant/variant.h>

uint32_t sku_id(void)
{
	if (wilco_ec_signed_fw())
		return VARIANT_SKU_ID_SIGNED_EC;
	else
		return VARIANT_SKU_ID;
}

const char *smbios_system_sku(void)
{
	if (wilco_ec_signed_fw())
		return VARIANT_SKU_NAME_SIGNED_EC;
	else
		return VARIANT_SKU_NAME;
}