payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / bostentech / gbyt4 / mainboard.c
blobda7106aafbb9646eb8182c169ef64eda971cfacb
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <device/device.h>
4 #include <soc/int15.h>
6 // mainboard_enable is executed as first thing after
7 // enumerate_buses().
9 static void mainboard_enable(struct device *dev)
11 /* Install custom int15 handler for VGA OPROM */
12 if (CONFIG(VGA_ROM_RUN))
13 install_baytrail_vga_int15_handler();
16 struct chip_operations mainboard_ops = {
17 .enable_dev = mainboard_enable,