coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cbconfig.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _ARCH_CBCONFIG_H_
4 #define _ARCH_CBCONFIG_H_
5 
6 /*
7  * Instead of using Kconfig variables for internal coreboot infrastructure
8  * variables that are architecture dependent land those things in this file.
9  * If it's not obvious all variables that are used in the common code need
10  * to have the same name across all architectures.
11  */
12 
13 #define COREBOOT_TABLE_SIZE 0x2000
14 
15 #endif