drivers/mipi: Add support for KD_KD110N11_51IE panel
[coreboot2.git] / src / mainboard / google / glados / gma-mainboard.ads
blobfcfbd75a92617f1013d7e616b92e677e42ee8c38
1 -- SPDX-License-Identifier: GPL-2.0-or-later
3 with HW.GFX.GMA;
4 with HW.GFX.GMA.Display_Probing;
6 use HW.GFX.GMA;
7 use HW.GFX.GMA.Display_Probing;
9 private package GMA.Mainboard is
11 ports : constant Port_List :=
12 (eDP,
13 DP1,
14 DP2,
15 HDMI1,
16 HDMI2,
17 others => Disabled);
19 end GMA.Mainboard;