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
>
4
#include <
ec/google/wilco/commands.h
>
5
#include <smbios.h>
6
#include <variant/variant.h>
7
8
uint32_t
sku_id
(
void
)
9
{
10
if
(
wilco_ec_signed_fw
())
11
return
VARIANT_SKU_ID_SIGNED_EC
;
12
else
13
return
VARIANT_SKU_ID
;
14
}
15
16
const
char
*
smbios_system_sku
(
void
)
17
{
18
if
(
wilco_ec_signed_fw
())
19
return
VARIANT_SKU_NAME_SIGNED_EC
;
20
else
21
return
VARIANT_SKU_NAME
;
22
}
boardid.h
wilco_ec_signed_fw
int wilco_ec_signed_fw(void)
wilco_ec_signed_fw
Definition:
commands.c:165
commands.h
smbios_system_sku
const char * smbios_system_sku(void)
Definition:
sku.c:19
sku_id
uint32_t sku_id(void)
Definition:
sku.c:14
VARIANT_SKU_ID
#define VARIANT_SKU_ID
Definition:
variant.h:7
VARIANT_SKU_NAME_SIGNED_EC
#define VARIANT_SKU_NAME_SIGNED_EC
Definition:
variant.h:10
VARIANT_SKU_NAME
#define VARIANT_SKU_NAME
Definition:
variant.h:8
VARIANT_SKU_ID_SIGNED_EC
#define VARIANT_SKU_ID_SIGNED_EC
Definition:
variant.h:9
uint32_t
unsigned int uint32_t
Definition:
stdint.h:14
src
mainboard
google
sarien
sku.c
Generated by
1.9.1