Devices updated for revised checkpoint interface

[palacios.releases.git] / palacios / src / extensions / Kconfig

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index 98f35d8..6b497b9 100644 (file)
--- a/palacios/src/extensions/Kconfig
+++ b/palacios/src/extensions/Kconfig
@@ -25,4 +25,10 @@ config EXT_INSPECTOR
        help
          Provides the inspection extension
 
+config EXT_VMWARE
+       bool "VMWare Persona"
+       default n
+       help
+         Provides a VMWare persona to allow TSC calibration
+
 endmenu