1-- SPDX-License-Identifier: GPL-2.0-or-later 2 3with HW.GFX.GMA; 4with HW.GFX.GMA.Display_Probing; 5 6use HW.GFX.GMA; 7use HW.GFX.GMA.Display_Probing; 8 9private package GMA.Mainboard is 10 11 ports : constant Port_List := 12 (DP1, 13 DP2, 14 DP3, 15 HDMI1, 16 HDMI2, 17 HDMI3, 18 Analog, 19 LVDS, 20 others => Disabled); 21 22end GMA.Mainboard; 23