payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / asrock / h77pro4-m / gma-mainboard.ads
blobb05255dea2824fb8ef5851fb8ed2f7b7af6ecf6c
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 (HDMI1, -- DVI-D connector
13 HDMI3, -- HDMI connector
14 Analog, -- D-Sub connector
15 others => Disabled);
17 end GMA.Mainboard;