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