X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=9c9dfe2368126745ebe300fa3b20e7a17f9a45f6;hb=c9d14b39d262b076a160cc7533fad3c8ebfd7e79;hp=b2479b3127ba95221f08f0c520fb7f95b309a3b9;hpb=2fff50d3e72abf29655326449ed4dc5cf6e8f429;p=palacios.releases.git

diff --git a/Kconfig b/Kconfig
index b2479b3..9c9dfe2 100644
--- a/Kconfig
+++ b/Kconfig
@@ -116,7 +116,15 @@ config QUIX86_DEBUG
 endchoice
 
 menu "Supported host OS features"
-      
+
+config MEM_BLOCK_SIZE
+        int "Allocation size for underlying VM memory"
+        default 134217728
+        help 
+          This is the default size in bytes of the underlying memory allocations used for the base memory regions.
+          A good default value is 128MB (134217728 or 0x8000000 bytes).  Note that the host interface must be able
+          to provide contiguous memory of at least this size in order for VMs to typically work.   This 
+          value can be overriden via a load-time option, provided the host supports this.
 
 config ALIGNED_PG_ALLOC
 	bool "Host support for aligned page allocations"
@@ -165,7 +173,13 @@ config PMU_TELEMETRY
         Enable telemetry information for a range of PMU counters
           This causes the currently configured PMU counts to be printed
 
-
+config PWRSTAT_TELEMETRY
+	bool "Enable power statistics telemetry"
+	default n
+	depends on TELEMETRY && HOST_PWRSTAT
+	help
+		Enable telemetry information for power/energy counters 
+		
 
 config EXPERIMENTAL
 	bool "Enable Experimental options"
@@ -430,23 +444,97 @@ config DEBUG_MEM_ERRORS
     help
       This turns on debugging for memory translations and lookups
 
+config DEBUG_LOCKS
+    bool "Lock debugging (if host supports it)"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on lock debugging for locks in Palacios and in its host-specifc glue code.  This requires host support.
+
+config DEBUG_MEM_ALLOC
+    bool "Memory allocation debugging (if host supports it)"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on memory allocation debugging in Palacios, using the mechanisms provided by the host
+
+
 endmenu
 
 
 menu "BIOS Selection"
 
-config ROMBIOS_PATH
-	string "Path to pre-built ROMBIOS binary"
+choice 
+       prompt "Boot Code Selection"
+       default SEABIOS
+	help
+           Select which BIOSes to map into the default PC Class Hardware Configuration
+
+config SEABIOS
+	bool "Use the SEABIOS and SEABIOS-VGA Boot Code"
+        help
+            Use the SEABIOS and SEABIOS-VGA Boot code
+
+
+config BOCHSBIOS
+	bool "Use the BOCHS BIOS and BOCHS BIOS-compatible VGA Boot Code"
+        help
+            Use the BOCHS BIOS and BOCHS-BIOS-compatible VGA Boot Code
+
+
+config OTHERBIOS
+	bool "Use a user-specified BIOS"
+        help
+            Use a user-specified BIOS
+
+
+endchoice
+
+
+config SEABIOS_PATH
+	string "Path to pre-built SEABIOS binary"
+        depends on SEABIOS
+	default "./bios/seabios/out/bios.bin"
+	help
+	  Path to the SEABIOS binary to use
+
+config SEABIOSVGA_PATH
+	string "Path to pre-built SEABIOS-VGA binary"
+	depends on SEABIOS
+	default "./bios/seabios-vga/VGABIOS-lgpl-latest.bin"
+	help 
+	  This is the SEABIOS-compatible vgabios that will be used for the guest
+
+config BOCHSBIOS_PATH
+	string "Path to pre-built BOCHS BIOS binary"
+        depends on BOCHSBIOS
 	default "./bios/rombios/BIOS-bochs-latest"
 	help
 	  This is the rombios that will be used for the guests
 
-config VGABIOS_PATH
-	string "Path to pre-built VGABIOS binary"
+config BOCHSBIOSVGA_PATH
+	string "Path to pre-built BOCHS-compatible VGABIOS binary"
+	depends on BOCHSBIOS
 	default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
 	help
 	  This is the vgabios that will be used for the guests
 
+config OTHERBIOS_PATH
+	string "Path to user-specified Boot Code"
+	depends on OTHERBIOS
+	help
+	  This is a completely user-determined blob that will be mapped into the guest
+	  No VGA BIOS will be mapped!
+
+config BIOS_START
+	hex "Starting address (linear address) of BIOS"
+	range 0xe0000 0xe0000 if SEABIOS
+	range 0xf0000 0xf0000 if BOCHSBIOS
+	help
+	  This is the starting address (linear address) of the BIOS code
+
+
+
 config VMXASSIST_PATH
 	string "Path to pre-built VMXASSIST binary"
 	depends on VMX