#include "biosvar.h" // CONFIG_BIOS_TABLE

// bios variables

struct bios_config_table_s BIOS_CONFIG_TABLE = {
    // XXX
    18,
};