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 (eDP, 13 HDMI1, 14 DP1, 15 DP2, 16 others => Disabled); 17 18end GMA.Mainboard; 19