OvmfPkg/ResetSystemLib: add driver for microvm

[mirror_edk2.git] / OvmfPkg / Include / OvmfPlatforms.h

diff --git a/OvmfPkg/Include/OvmfPlatforms.h b/OvmfPkg/Include/OvmfPlatforms.h
index 77dd818e300229a4d2f3476ae61ffcc055d49f88..3b85593b70634dd57409f2912298080923bc76e7 100644 (file)
--- a/OvmfPkg/Include/OvmfPlatforms.h
+++ b/OvmfPkg/Include/OvmfPlatforms.h
@@ -15,6 +15,7 @@
 #include <IndustryStandard/Q35MchIch9.h>\r
 #include <IndustryStandard/I440FxPiix4.h>\r
 #include <IndustryStandard/Bhyve.h>\r
+#include <IndustryStandard/Microvm.h>\r
 \r
 //\r
 // OVMF Host Bridge DID Address\r