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 DP3, 14 HDMI3, 15 others => Disabled); 16 17end GMA.Mainboard; 18