3 #ifndef CONFIG_MAINBOARD_VENDOR
4 #error CONFIG_MAINBOARD_VENDOR not defined
6 #ifndef CONFIG_MAINBOARD_PART_NUMBER
7 #error CONFIG_MAINBOARD_PART_NUMBER not defined
10 #ifndef COREBOOT_VERSION
11 #error COREBOOT_VERSION not defined
13 #ifndef COREBOOT_BUILD
14 #error COREBOOT_BUILD not defined
17 #ifndef COREBOOT_COMPILE_TIME
18 #error COREBOOT_COMPILE_TIME not defined
20 #ifndef COREBOOT_COMPILE_BY
21 #error COREBOOT_COMPILE_BY not defined
23 #ifndef COREBOOT_COMPILE_HOST
24 #error COREBOOT_COMPILE_HOST not defined
27 #ifndef COREBOOT_COMPILER
28 #error COREBOOT_COMPILER not defined
30 #ifndef COREBOOT_LINKER
31 #error COREBOOT_LINKER not defined
33 #ifndef COREBOOT_ASSEMBLER
34 #error COREBOOT_ASSEMBLER not defined
38 #ifndef COREBOOT_EXTRA_VERSION
39 #define COREBOOT_EXTRA_VERSION ""
42 const char mainboard_vendor[] = CONFIG_MAINBOARD_VENDOR;
43 const char mainboard_part_number[] = CONFIG_MAINBOARD_PART_NUMBER;
45 const char coreboot_version[] = COREBOOT_VERSION;
46 const char coreboot_extra_version[] = COREBOOT_EXTRA_VERSION;
47 const char coreboot_build[] = COREBOOT_BUILD;
49 const char coreboot_compile_time[] = COREBOOT_COMPILE_TIME;
50 const char coreboot_compile_by[] = COREBOOT_COMPILE_BY;
51 const char coreboot_compile_host[] = COREBOOT_COMPILE_HOST;
52 const char coreboot_compile_domain[] = COREBOOT_COMPILE_DOMAIN;
53 const char coreboot_compiler[] = COREBOOT_COMPILER;
54 const char coreboot_linker[] = COREBOOT_LINKER;
55 const char coreboot_assembler[] = COREBOOT_ASSEMBLER;