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