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
10 -- TODO: verify this with a CPU that has an IGP
11 ports
: constant Port_List
:=