2 # This module provides an implementation of DXE Core that is compliant with DXE CIS.
4 # Copyright (c) 2006 - 2008, Intel Corporation. <BR>
5 # All rights reserved. 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
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.
16 INF_VERSION = 0x00010005
18 FILE_GUID = D6A2CB7F-6A18-4e2f-B43B-9920A733700A
19 MODULE_TYPE = DXE_CORE
21 PI_SPECIFICATION_VERSION = 0x00010000
26 # The following information is for reference only and not required by the build tools.
28 # VALID_ARCHITECTURES = IA32 X64 IPF EBC (EBC is for build only)
33 SectionExtraction/CoreSectionExtraction.c
39 Misc/SetWatchdogTimer.c
40 Misc/InstallConfigurationTable.c
53 FwVolBlock/FwVolBlock.c
54 FwVolBlock/FwVolBlock.h
65 Dispatcher/Dependency.c
66 Dispatcher/Dispatcher.c
67 DxeMain/DxeProtocolNotify.c
72 MdeModulePkg/MdeModulePkg.dec
85 ExtractGuidedSectionLib
87 UefiBootServicesTableLib
93 gEfiEventReadyToBootGuid # ALWAYS_CONSUMED
94 gEfiEventMemoryMapChangeGuid # ALWAYS_CONSUMED
95 gEfiEventVirtualAddressChangeGuid # ALWAYS_CONSUMED
96 gEfiEventExitBootServicesGuid # ALWAYS_CONSUMED
97 gEfiHobMemoryAllocModuleGuid # ALWAYS_CONSUMED
98 gEfiFileInfoGuid # ALWAYS_CONSUMED
99 gEfiFirmwareFileSystem2Guid # ALWAYS_CONSUMED
100 gAprioriGuid # ALWAYS_CONSUMED
101 gEfiDebugImageInfoTableGuid # ALWAYS_CONSUMED
102 gEfiHobListGuid # ALWAYS_CONSUMED
103 gEfiDxeServicesTableGuid # ALWAYS_CONSUMED
104 gEfiMemoryTypeInformationGuid # ALWAYS_CONSUMED
107 gEfiStatusCodeRuntimeProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
108 gEfiCapsuleArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
109 gEfiDecompressProtocolGuid # PROTOCOL ALWAYS_CONSUMED
110 gEfiLoadPeImageProtocolGuid # PROTOCOL ALWAYS_PRODUCED
111 gEfiSimpleFileSystemProtocolGuid # PROTOCOL ALWAYS_CONSUMED
112 gEfiLoadFileProtocolGuid # PROTOCOL ALWAYS_CONSUMED
113 gEfiResetArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
114 gEfiRealTimeClockArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
115 gEfiRuntimeArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
116 gEfiWatchdogTimerArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
117 gEfiSecurityArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
118 gEfiVariableArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
119 gEfiBdsArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
120 gEfiVariableWriteArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
121 gEfiMonotonicCounterArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
122 gEfiMetronomeArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
123 gEfiTimerArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
124 gEfiBusSpecificDriverOverrideProtocolGuid # PROTOCOL ALWAYS_CONSUMED
125 gEfiPlatformDriverOverrideProtocolGuid # PROTOCOL ALWAYS_CONSUMED
126 gEfiDriverBindingProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
127 gEfiFirmwareVolumeBlockProtocolGuid # PROTOCOL ALWAYS_PRODUCED
128 gEfiFirmwareVolumeDispatchProtocolGuid # PROTOCOL ALWAYS_PRODUCED
129 gEfiFirmwareVolume2ProtocolGuid # PROTOCOL ALWAYS_PRODUCED
130 gEfiCpuArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED
131 gEfiDevicePathProtocolGuid # PROTOCOL ALWAYS_CONSUMED
132 gEfiLoadedImageProtocolGuid # PROTOCOL ALWAYS_PRODUCED
133 gEfiEbcProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
134 gEfiTcgPlatformProtocolGuid
135 gEfiLoadedImageDevicePathProtocolGuid # PROTOCOL ALWAYS_PRODUCED
138 gEfiMdePkgTokenSpaceGuid.PcdStatusCodeValueDxeCoreEntry | 0x3041000 # EFI_SOFTWARE_DXE_CORE | EFI_SW_DXE_CORE_PC_ENTRY_POINT
139 gEfiMdePkgTokenSpaceGuid.PcdStatusCodeValueDxeCoreHandoffToBds | 0x3041001 # EFI_SOFTWARE_DXE_CORE | EFI_SW_DXE_CORE_PC_HANDOFF_TO_NEXT
140 gEfiMdePkgTokenSpaceGuid.PcdStatusCodeValueBootServiceExit | 0x3100019 # EFI_SOFTWARE_EFI_BOOT_SERVICE | EFI_SW_BS_PC_EXIT_BOOT_SERVICES
141 gEfiMdePkgTokenSpaceGuid.PcdStatusCodeValueDxeDriverBegin | 0x3040002 # EFI_SOFTWARE_DXE_CORE | EFI_SW_PC_INIT_BEGIN
142 gEfiMdePkgTokenSpaceGuid.PcdStatusCodeValueDxeDriverEnd | 0x3040003 # EFI_SOFTWARE_DXE_CORE | EFI_SW_PC_INIT_END
145 MSFT:*_*_*_CC_FLAGS = /FAcs