Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel' of /home-remote/palacios/palacios into devel
[palacios.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index a524683..4241627 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -171,6 +171,31 @@ 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
+
+config SYSCALL_HIJACK
+    bool "Enable System Call Interposition"
+    depends on EXPERIMENTAL
+    default n
+    help
+      Enable the VMM to hijack system calls executed by the guest.
+      If enabled, the VMM will intercept software interrupt (INT) instructions,
+      Fast-System Call instructions (SYSENTER, SYSCALL), and the LIDT instruction
+
+config HIJACK_SYSCALL_MSR
+    bool "Intercept Syscall-related MSR reads & writes"
+    depends on SYSCALL_HIJACK 
+    default n
+    help
+      Allow the VMM to intercept reads and writes to MSRs
+      related to SYSCALL and SYSENTER instructions. Specifically,
+      it will intercept R/W to STAR, CSTAR, and LSTAR.
+
 endmenu
 
 
@@ -401,6 +426,14 @@ config DEBUG_VNET
         help
           Enable the Vnet debug in Palacios
 
+config DEBUG_SYSCALL_HIJACK
+        bool "Enable Syscall hijack Debug in Palacios"
+        default n
+        depends on EXPERIMENTAL && SYSCALL_HIJACK && DEBUG_ON
+        help
+          Enable Debugging printouts for syscall hijacking
+          code in Palacios
+
 endmenu