payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / lenovo / haswell / variants / t440p / gma-mainboard.ads
blob62dfc3822803bbe1061c950e6b04616c12ef29cf
1 -- SPDX-License-Identifier: GPL-2.0-or-later
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, -- MiniDP
13 DP2, -- dock, DP2-1 (DP/HDMI) and DP2-2 (DP/DVI)
14 Analog,
15 eDP,
16 others => Disabled);
18 end GMA.Mainboard;