| /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| |
| #include <baseboard/variants.h> |
| #include <console/console.h> |
| #include <drivers/intel/gma/opregion.h> |
| #include <fw_config.h> |
| #include <soc/bootblock.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"; |
| } |
| |
| void variant_update_descriptor(void) |
| { |
| /* TypeCPort2Config = "No Thunderbolt" */ |
| struct descriptor_byte typec_bytes[] = { |
| { 0xc76, 0xb7 }, |
| { 0xc77, 0xb6 }, |
| { 0xc7c, 0xee }, |
| { 0xca0, 0x0c }, |
| }; |
| |
| /* TypeCPort2Config = "DP Fixed Connection" */ |
| struct descriptor_byte hdmi_bytes[] = { |
| { 0xc76, 0x75 }, |
| { 0xc77, 0xc4 }, |
| { 0xc7c, 0x1e }, |
| { 0xca0, 0x0e }, |
| }; |
| |
| if (fw_config_probe(FW_CONFIG(DB_USB, DB_1A_HDMI))) { |
| printk(BIOS_INFO, "Configuring descriptor for HDMI\n"); |
| configure_descriptor(hdmi_bytes, ARRAY_SIZE(hdmi_bytes)); |
| } else { |
| printk(BIOS_INFO, "Configuring descriptor for Type-C\n"); |
| configure_descriptor(typec_bytes, ARRAY_SIZE(typec_bytes)); |
| } |
| } |