Floating point context-switching and checkpoint/load

[palacios.git] / palacios / src / interfaces / Kconfig

diff --git a/palacios/src/interfaces/Kconfig b/palacios/src/interfaces/Kconfig
index 7535376..581852a 100644 (file)
--- a/palacios/src/interfaces/Kconfig
+++ b/palacios/src/interfaces/Kconfig
@@ -81,4 +81,18 @@ config HOST_PMU
        help
           Select this if you would like to access performance
           counters (the PMU) within Palacios
+
+config HOST_PWRSTAT
+       bool "Host power statistics monitoring support"
+       default n
+       help
+               Select this if you would like to access energy/power
+               measurements within Palacios
+
+config HOST_LAZY_FPU_SWITCH
+       bool "Host provides lazy FPU context switching"
+       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