3 #include <baseboard/variants.h>
7 #include <soc/bootblock.h>
12 return "vbt-nereid_hdmi.bin";
#define printk(level,...)
#define FW_CONFIG(__field, __option)
void variant_update_descriptor(void)
const char * mainboard_vbt_filename(void)
bool fw_config_probe(const struct fw_config *match)
#define BIOS_INFO
BIOS_INFO - Expected events.
void configure_descriptor(struct descriptor_byte *bytes, size_t num)