Kconfig

   1 mainmenu "Palacios VMM Configuration"
   2
   3 config x86_64
   4         bool
   5         default y
   6         help
   7           Support for the x86-64 architecture.
   8
   9
  10 menu "Target Configuration"
  11
  12 config CRAY_XT
  13         bool "Red Storm (Cray XT3/XT4)"
  14         help
  15           Support for Cray XT3 and XT4 systems.
  16
  17 config SVM
  18         bool "AMD SVM Support"
  19         default y
  20         help
  21           Compile with support for AMD SVM
  22
  23 config VMX
  24         bool "Intel VMX Support"
  25         default y
  26         help
  27           Compile with support for Intel VMX
  28 endmenu
  29
  30
  31 menu "Virtual Devices"
  32
  33 config APIC
  34         bool "APIC"
  35         default y
  36         help
  37           "Includes the Virtual APIC device"
  38
  39 endmenu
  40
  41
  42
  43 menu "Debug configuration"
  44
  45 config CONFIG_DEBUG_INFO
  46         bool "Compile with Debug information"
  47         default n
  48         help
  49          This adds the -g flag to the compilation flags
  50
  51
  52 ## Is unwind information useful
  53
  54 config DEBUG_ON
  55         bool "Enable Debugging"
  56         default y
  57         help
  58           This turns on debugging support
  59
  60
  61
  62
  63
  64 config DEBUG_PIC
  65         bool "PIC"
  66         depends on DEBUG_ON
  67         help
  68           Enable debugging for the PIC
  69
  70 config DEBUG_APIC
  71         bool "APIC"
  72         depends on DEBUG_ON && APIC
  73         help
  74           Enable debugging for the APIC
  75
  76
  77
  78
  79 endmenu
  80
  81
  82 menu "BIOS Selection"
  83
  84 config ROMBIOS_PATH
  85         string "Path to pre-built ROMBIOS binary"
  86         default "./bios/rombios/BIOS-bochs-latest"
  87         help
  88           This is the rombios that will be used for the guests
  89
  90 config VGABIOS_PATH
  91         string "Path to pre-built VGABIOS binary"
  92         default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
  93         help
  94           This is the vgabios that will be used for the guests
  95
  96 endmenu
  97
  98 #source "net/Kconfig"
  99