PLATFORM_NAME = Ovmf\r
PLATFORM_GUID = 5a9e7754-d81b-49ea-85ad-69eaa7b1539b\r
PLATFORM_VERSION = 0.1\r
- DSC_ SPECIFICATION = 0x00010005\r
+ DSC_SPECIFICATION = 0x00010005\r
OUTPUT_DIRECTORY = Build/OvmfX64\r
SUPPORTED_ARCHITECTURES = X64\r
BUILD_TARGETS = DEBUG|RELEASE\r
DevicePathLib|MdePkg/Library/UefiDevicePathLib/UefiDevicePathLib.inf\r
NvVarsFileLib|OvmfPkg/Library/NvVarsFileLib/NvVarsFileLib.inf\r
FileHandleLib|ShellPkg/Library/BaseFileHandleLib/BaseFileHandleLib.inf\r
+ UefiCpuLib|UefiCpuPkg/Library/BaseUefiCpuLib/BaseUefiCpuLib.inf\r
+ SecurityManagementLib|MdeModulePkg/Library/DxeSecurityManagementLib/DxeSecurityManagementLib.inf\r
\r
[LibraryClasses.common.SEC]\r
DebugLib|MdePkg/Library/BaseDebugLibSerialPort/BaseDebugLibSerialPort.inf\r
IntelFrameworkModulePkg/Universal/DataHubDxe/DataHubDxe.inf\r
MdeModulePkg/Universal/EbcDxe/EbcDxe.inf\r
PcAtChipsetPkg/8259InterruptControllerDxe/8259.inf\r
- UefiCpuPkg/CpuIoDxe/CpuIo.inf\r
+ UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe.inf\r
UefiCpuPkg/CpuDxe/CpuDxe.inf\r
PcAtChipsetPkg/8254TimerDxe/8254Timer.inf\r
PcAtChipsetPkg/PciHostBridgeDxe/PciHostBridgeDxe.inf\r
- IntelFrameworkModulePkg/Bus/Pci/PciBusDxe/PciBusDxe.inf\r
+ MdeModulePkg/Bus/Pci/PciBusDxe/PciBusDxe.inf\r
PcAtChipsetPkg/KbcResetDxe/Reset.inf\r
MdeModulePkg/Universal/Metronome/Metronome.inf {\r
<LibraryClasses>\r