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, -- DP1/HDMI1: DisplayPorts on board and dock 13 HDMI1, 14 DP2, -- DP2: VGA ports on board and dock 15 eDP, 16 others => Disabled); 17 18end GMA.Mainboard; 19