mb/dell: OptiPlex 3050 Micro port (Intel KabyLake)
[coreboot.git] / src / mainboard / dell / optiplex_3050 / gma-mainboard.ads
blobcb4c22f2859e51f3a023312a24ddb5d1cff2ed9c
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, -- External HDMI
13 DP2, -- External DP (native)
14 HDMI2, -- External DP (DP++)
15 DP3, -- Video I/O card: VGA (0PKGGG), DP (H64DC)
16 HDMI3, -- Video I/O card: VGA (0PKGGG), DP (H64DC)
17 others => Disabled);
19 end GMA.Mainboard;