coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
sku.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <boardid.h>
5 #include <smbios.h>
6 #include <variant/variant.h>
7 
9 {
10  if (wilco_ec_signed_fw())
12  else
13  return VARIANT_SKU_ID;
14 }
15 
16 const char *smbios_system_sku(void)
17 {
18  if (wilco_ec_signed_fw())
20  else
21  return VARIANT_SKU_NAME;
22 }
int wilco_ec_signed_fw(void)
wilco_ec_signed_fw
Definition: commands.c:165
const char * smbios_system_sku(void)
Definition: sku.c:19
uint32_t sku_id(void)
Definition: sku.c:14
#define VARIANT_SKU_ID
Definition: variant.h:7
#define VARIANT_SKU_NAME_SIGNED_EC
Definition: variant.h:10
#define VARIANT_SKU_NAME
Definition: variant.h:8
#define VARIANT_SKU_ID_SIGNED_EC
Definition: variant.h:9
unsigned int uint32_t
Definition: stdint.h:14