1## @file 2# 3# Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.<BR> 4# This program and the accompanying materials 5# are licensed and made available under the terms and conditions of the BSD License 6# which accompanies this distribution. The full text of the license may be found at 7# http://opensource.org/licenses/bsd-license.php 8# 9# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 10# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 11# 12# Module Name: 13# DxeIpl.inf 14# 15# Abstract: 16# 17## 18 19[Defines] 20 INF_VERSION = 0x00010005 21 BASE_NAME = DxeIpl 22 FILE_GUID = 2119BBD7-9432-4f47-B5E2-5C4EA31B6BDC 23 MODULE_TYPE = DXE_DRIVER 24 VERSION_STRING = 1.0 25 26[Packages] 27 MdePkg/MdePkg.dec 28 DuetPkg/DuetPkg.dec 29 MdeModulePkg/MdeModulePkg.dec 30 IntelFrameworkPkg/IntelFrameworkPkg.dec 31 32[LibraryClasses] 33 BaseLib 34 BaseMemoryLib 35 PrintLib 36 SerialPortLib 37 ReportStatusCodeLib 38 IoLib 39 40[Guids] 41 gEfiVariableGuid 42 gDxeCoreFileNameGuid 43 gLdrMemoryDescriptorGuid 44 45[Sources] 46 DxeIpl.h 47 DxeInit.c 48 LegacyTable.c 49 LegacyTable.h 50 PpisNeededByDxeCore.c 51 PpisNeededByDxeCore.h 52 HobGeneration.c 53 HobGeneration.h 54 SerialStatusCode.c 55 SerialStatusCode.h 56 Debug.c 57 Debug.h 58 59[Sources.x64] 60 X64/EnterDxeCore.c 61 X64/Paging.c 62 X64/VirtualMemory.h 63 64[Sources.Ia32] 65 Ia32/EnterDxeCore.c 66 Ia32/Paging.c 67 Ia32/VirtualMemory.h 68 69[Depex] 70 TRUE 71