Use InitializeFloatingPointUnits() from UefiCpuLib to initialize floating point units...

[mirror_edk2.git] / OvmfPkg / Sec / SecMain.inf

diff --git a/OvmfPkg/Sec/SecMain.inf b/OvmfPkg/Sec/SecMain.inf
index 1646cce97893be514cb4e99e79c0473d71b675b4..de217b569156aa4a56a64c03936c3be440c86b8d 100644 (file)
--- a/OvmfPkg/Sec/SecMain.inf
+++ b/OvmfPkg/Sec/SecMain.inf
@@ -44,10 +44,13 @@
 \r
 [Packages]\r
   MdePkg/MdePkg.dec\r
+  UefiCpuPkg/UefiCpuPkg.dec\r
   OvmfPkg/OvmfPkg.dec\r
 \r
 [LibraryClasses]\r
   BaseLib\r
+  UefiCpuLib\r
+  PcdLib\r
 \r
 [Ppis]\r
   gEfiTemporaryRamSupportPpiGuid                # PPI ALWAYS_PRODUCED\r