src/mainboard/intel/dcp847ske/gma-mainboard.ads

   1 -- SPDX-License-Identifier: GPL-2.0-only
   2
   3 with HW.GFX.GMA;
   4 with HW.GFX.GMA.Display_Probing;
   5
   6 use HW.GFX.GMA;
   7 use HW.GFX.GMA.Display_Probing;
   8
   9 private package GMA.Mainboard is
  10
  11    ports : constant Port_List :=
  12      (HDMI1,
  13       HDMI3,
  14       others => Disabled);
  15
  16 end GMA.Mainboard;