1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
4 #include <drivers/intel/gma/opregion.h>
7 const char *mainboard_vbt_filename(void)
9 if (fw_config_probe(FW_CONFIG(DB_DISPLAY
, DB_HDMI
))) {
10 printk(BIOS_INFO
, "Use vbt-kinox_HDMI.bin\n");
11 return "vbt-kinox_HDMI.bin";
13 printk(BIOS_INFO
, "Use vbt.bin\n");