/* SPDX-License-Identifier: GPL-2.0-or-later */ | |
#include <drivers/intel/gma/opregion.h> | |
#include <fw_config.h> | |
const char *mainboard_vbt_filename(void) | |
{ | |
if (fw_config_probe(FW_CONFIG(DB_USB, DB_1A_HDMI))) | |
return "vbt-nereid_hdmi.bin"; | |
return "vbt.bin"; | |
} |