4 #ifndef CONFIG_MAINBOARD_VENDOR
5 #error CONFIG_MAINBOARD_VENDOR not defined
7 #ifndef CONFIG_MAINBOARD_PART_NUMBER
8 #error CONFIG_MAINBOARD_PART_NUMBER not defined
11 #ifndef COREBOOT_VERSION
12 #error COREBOOT_VERSION not defined
14 #ifndef COREBOOT_BUILD
15 #error COREBOOT_BUILD not defined
18 #ifndef COREBOOT_COMPILE_TIME
19 #error COREBOOT_COMPILE_TIME not defined
21 #ifndef COREBOOT_COMPILE_BY
22 #error COREBOOT_COMPILE_BY not defined
24 #ifndef COREBOOT_COMPILE_HOST
25 #error COREBOOT_COMPILE_HOST not defined
28 #ifndef COREBOOT_COMPILER
29 #error COREBOOT_COMPILER not defined
31 #ifndef COREBOOT_LINKER
32 #error COREBOOT_LINKER not defined
34 #ifndef COREBOOT_ASSEMBLER
35 #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
;