CorebootModulePkg: Add video resolution PCD initialization
[mirror_edk2.git] / CorebootModulePkg / CbSupportDxe / CbSupportDxe.h
1 /** @file
2 The header file of Coreboot Support DXE.
3
4 Copyright (c) 2014, Intel Corporation. All rights reserved.<BR>
5 This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
9
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
12
13 **/
14 #ifndef __DXE_COREBOOT_SUPPORT_H__
15 #define __DXE_COREBOOT_SUPPORT_H__
16
17 #include <PiDxe.h>
18
19 #include <Library/UefiDriverEntryPoint.h>
20 #include <Library/UefiBootServicesTableLib.h>
21 #include <Library/DxeServicesTableLib.h>
22 #include <Library/DebugLib.h>
23 #include <Library/BaseMemoryLib.h>
24 #include <Library/UefiLib.h>
25 #include <Library/IoLib.h>
26 #include <Library/HobLib.h>
27
28 #include <Guid/Acpi.h>
29 #include <Guid/SmBios.h>
30 #include <Guid/SystemTableInfoGuid.h>
31 #include <Guid/AcpiBoardInfoGuid.h>
32 #include <Guid/FrameBufferInfoGuid.h>
33
34 #include <IndustryStandard/Acpi.h>
35
36 #endif