payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / lenovo / x1_carbon_gen1 / gma-mainboard.ads
blob1d2bad480bc2e0d0b5d0eed62544d938d90f1bb6
1 -- SPDX-License-Identifier: GPL-2.0-only
3 with HW.GFX.GMA;
4 with HW.GFX.GMA.Display_Probing;
6 use HW.GFX.GMA;
7 use HW.GFX.GMA.Display_Probing;
9 private package GMA.Mainboard is
11 ports : constant Port_List :=
12 (DP1,
13 DP2,
14 DP3,
15 HDMI1,
16 HDMI2,
17 HDMI3,
18 LVDS,
19 others => Disabled);
21 end GMA.Mainboard;