device/pci_ids: Add Panther Lake Intel Touch Controller PCI IDs

[coreboot2.git] / src / mainboard / dell / e6400 / gma-mainboard.ads

-- SPDX-License-Identifier: GPL-2.0-or-later

with HW.GFX.GMA;
with HW.GFX.GMA.Display_Probing;

use HW.GFX.GMA;
use HW.GFX.GMA.Display_Probing;

private package GMA.Mainboard is

   ports : constant Port_List :=
     (DP1, -- mainboard DP
      DP2, -- dock DP
      Analog, -- mainboard VGA
      LVDS,
      others => Disabled);

end GMA.Mainboard;