X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=9c9dfe2368126745ebe300fa3b20e7a17f9a45f6;hb=c17cafcb6db943bd5bbb31d86f0392c113b2d668;hp=7e231b00e49679aac4d65f3e3e0bbb861cad6409;hpb=ec75bbb093fa99a4be794f0f564867c0091ccb85;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 7e231b0..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"
@@ -456,18 +464,77 @@ 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