+++ /dev/null
-mainmenu "Palacios VMM Configuration"
-
-config x86_64
- bool
- default y
- help
- Support for the x86-64 architecture.
-
-
-menu "Target Configuration"
-
-choice
- prompt "System Architecture"
- default PC
-
-config V3_32BIT
- bool "Compile a 32 bit library"
- help
- Support for 32 bit Operating Systems
-
-config V3_64BIT
- bool "Compile a 64 bit library"
- help
- Support for 64 bit Operating Systems
-endchoice
-
-config CRAY_XT
- bool "Red Storm (Cray XT3/XT4)"
- help
- Support for Cray XT3 and XT4 systems.
-
-
-
-#
-# Define implied options from the CPU selection
-#
-
-config X86_L1_CACHE_BYTES
- int
- default "128" if GENERIC_CPU || MPSC
- default "64" if MK8
-
-config X86_L1_CACHE_SHIFT
- int
- default "7" if GENERIC_CPU || MPSC
- default "6" if MK8
-
-config X86_INTERNODE_CACHE_BYTES
- int
- default X86_L1_CACHE_BYTES
-
-config X86_INTERNODE_CACHE_SHIFT
- int
- default X86_L1_CACHE_SHIFT
-
-config NR_CPUS
- int "Maximum number of CPUs (2-256)"
- range 1 255
- default "16"
- help
- This allows you to specify the maximum number of CPUs which this
- kernel will support. Current maximum is 256 CPUs due to
- APIC addressing limits. Less depending on the hardware.
-
- This is purely to save memory - each supported CPU requires
- memory in the static kernel configuration.
-
-#
-# Physical address where the kernel is loaded
-#
-config PHYSICAL_START
- hex
- default "0x200000"
-
-endmenu
-
-menu "Virtualization"
-
-config PALACIOS
- bool "Include Palacios virtual machine monitor"
- default "n"
- help
- Include the Palacios virtual machine monitor. This enables Kitten
- to run guest operating systems alongside native applications.
-
-config PALACIOS_SOCKET
- bool
- depends on NETWORK && LWIP_TCP && LWIP_UDP && LWIP_SOCKET
- default "y"
-
-config PALACIOS_PATH
- string "Path to pre-built Palacios tree"
- depends on PALACIOS
- default "../palacios"
- help
- Path to a built Palacios source tree. This path is used to
- find Palacios include files and libraries that need to be
- linked with the Kitten kernel image.
-
-config GUEST_OS_ISOIMAGE_PATH
- string "Path to guest OS ISO image"
- depends on PALACIOS
- default "/opt/vmm-tools/isos/puppy.iso"
- help
- Path to an ISO image to link with the example user/hello_world
- init task. The hello_world init task will use this ISO image
- to spawn a guest OS virtual machine via Palacios.
-
-endmenu
-
-#source "net/Kconfig"
-
