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