mainboard/intel/avenuecity_crb: Update full IIO configuration
[coreboot2.git] / src / mainboard / google / beltino / gma-mainboard.ads
blob17c85eb7a8645e6825d022639f6a9bc90753201b
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,
13 HDMI2,
14 DP1,
15 DP2,
16 others => Disabled);
18 end GMA.Mainboard;