3 #ifndef MAINBOARD_VENDOR
4 #error MAINBOARD_VENDOR not defined
6 #ifndef MAINBOARD_PART_NUMBER
7 #error MAINBOARD_PART_NUMBER not defined
10 #ifndef LINUXBIOS_VERSION
11 #error LINUXBIOS_VERSION not defined
13 #ifndef LINUXBIOS_BUILD
14 #error LINUXBIOS_BUILD not defined
17 #ifndef LINUXBIOS_COMPILE_TIME
18 #error LINUXBIOS_COMPILE_TIME not defined
20 #ifndef LINUXBIOS_COMPILE_BY
21 #error LINUXBIOS_COMPILE_BY not defined
23 #ifndef LINUXBIOS_COMPILE_HOST
24 #error LINUXBIOS_COMPILE_HOST not defined
27 #ifndef LINUXBIOS_COMPILER
28 #error LINUXBIOS_COMPILER not defined
30 #ifndef LINUXBIOS_LINKER
31 #error LINUXBIOS_LINKER not defined
33 #ifndef LINUXBIOS_ASSEMBLER
34 #error LINUXBIOS_ASSEMBLER not defined
38 #ifndef LINUXBIOS_EXTRA_VERSION
39 #define LINUXBIOS_EXTRA_VERSION ""
42 const char mainboard_vendor[] = MAINBOARD_VENDOR;
43 const char mainboard_part_number[] = MAINBOARD_PART_NUMBER;
45 const char linuxbios_version[] = LINUXBIOS_VERSION;
46 const char linuxbios_extra_version[] = LINUXBIOS_EXTRA_VERSION;
47 const char linuxbios_build[] = LINUXBIOS_BUILD;
49 const char linuxbios_compile_time[] = LINUXBIOS_COMPILE_TIME;
50 const char linuxbios_compile_by[] = LINUXBIOS_COMPILE_BY;
51 const char linuxbios_compile_host[] = LINUXBIOS_COMPILE_HOST;
52 const char linuxbios_compile_domain[] = LINUXBIOS_COMPILE_DOMAIN;
53 const char linuxbios_compiler[] = LINUXBIOS_COMPILER;
54 const char linuxbios_linker[] = LINUXBIOS_LINKER;
55 const char linuxbios_assembler[] = LINUXBIOS_ASSEMBLER;