1 -- SPDX-License-Identifier: GPL-2.0-or-later
4 with HW
.GFX
.GMA
.Display_Probing
;
7 use HW
.GFX
.GMA
.Display_Probing
;
9 private package GMA
.Mainboard
is
11 ports
: constant Port_List
:=
12 (HDMI1
, -- mainboard DVI port
13 HDMI3
, -- mainboard HDMI port