blob: 028e0062b2f9b0aa97371304c88803974121ebd4 [file] [log] [blame]
#include <version.h>
#ifndef MAINBOARD_VENDOR
#error MAINBOARD_VENDOR not defined
#endif
#ifndef MAINBOARD_PART_NUMBER
#error MAINBOARD_PART_NUMBER not defined
#endif
#ifndef LINUXBIOS_VERSION
#error LINUXBIOS_VERSION not defined
#endif
#ifndef LINUXBIOS_BUILD
#error LINUXBIOS_BUILD not defined
#endif
#ifndef LINUXBIOS_COMPILE_TIME
#error LINUXBIOS_COMPILE_TIME not defined
#endif
#ifndef LINUXBIOS_COMPILE_BY
#error LINUXBIOS_COMPILE_BY not defined
#endif
#ifndef LINUXBIOS_COMPILE_HOST
#error LINUXBIOS_COMPILE_HOST not defined
#endif
#ifndef LINUXBIOS_COMPILER
#error LINUXBIOS_COMPILER not defined
#endif
#ifndef LINUXBIOS_LINKER
#error LINUXBIOS_LINKER not defined
#endif
#ifndef LINUXBIOS_ASSEMBLER
#error LINUXBIOS_ASSEMBLER not defined
#endif
#ifndef LINUXBIOS_EXTRA_VERSION
#define LINUXBIOS_EXTRA_VERSION ""
#endif
const char mainboard_vendor[] = MAINBOARD_VENDOR;
const char mainboard_part_number[] = MAINBOARD_PART_NUMBER;
const char linuxbios_version[] = LINUXBIOS_VERSION;
const char linuxbios_extra_version[] = LINUXBIOS_EXTRA_VERSION;
const char linuxbios_build[] = LINUXBIOS_BUILD;
const char linuxbios_compile_time[] = LINUXBIOS_COMPILE_TIME;
const char linuxbios_compile_by[] = LINUXBIOS_COMPILE_BY;
const char linuxbios_compile_host[] = LINUXBIOS_COMPILE_HOST;
const char linuxbios_compile_domain[] = LINUXBIOS_COMPILE_DOMAIN;
const char linuxbios_compiler[] = LINUXBIOS_COMPILER;
const char linuxbios_linker[] = LINUXBIOS_LINKER;
const char linuxbios_assembler[] = LINUXBIOS_ASSEMBLER;