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