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.


Cache information interface and implementation for AMD and Intel on Linux
[palacios.git] / palacios / src / interfaces / Kconfig
index d7671a0..72442f9 100644 (file)
@@ -101,4 +101,11 @@ config HOST_LAZY_FPU_SWITCH
        help
                Select this if your host provides lazy context switch support
                 for floating point state and you would like Palacios to use it
+
+config CACHE_INFO
+       bool "Host provides information about cache structure"
+       default n
+       help
+               Select this if your host provides lazy context switch support
+                for floating point state and you would like Palacios to use it
 endmenu