X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=a524683b14d5ae9e995664c623b4c2ad8cbe1f56;hb=70842a596167a7cfb7d8c8121cf0d5d2350079ea;hp=7a486065990f09f09cb6eb686acc231112c539ff;hpb=ba178554a5f6714e5ceb7b77df462ac72de90b0c;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 7a48606..a524683 100644
--- a/Kconfig
+++ b/Kconfig
@@ -128,7 +128,7 @@ config MAX_CPUS
 endmenu
 
 source "palacios/src/interfaces/Kconfig"
-
+source "palacios/src/extensions/Kconfig"
 
 config TELEMETRY
 	bool "Enable VMM telemetry support"
@@ -171,13 +171,6 @@ config VNET
           Enable the Vnet in Palacios
 
 
-config INSPECTOR
-	bool "Enable VM inspection"
-	depends on EXPERIMENTAL
-	default n
-	help 
-	  Enable inspection framework for vm internal state
-
 endmenu