palacios/src/devices/Kconfig

   1 menu "Virtual Devices"
   2
   3
   4 menu "Interrupt Logic and Multicore"
   5
   6 config PIC
   7         bool "8259A PIC"
   8         default y
   9         help
  10           Includes the Virtual 8259a PIC Device
  11
  12 config DEBUG_PIC
  13         bool "PIC debugging"
  14         depends on PIC && DEBUG_ON
  15         help
  16           Enable debugging for the PIC
  17
  18 config APIC
  19         bool "APIC"
  20         default y
  21         help
  22           Includes the Virtual APIC device
  23
  24 config APIC_ENQUEUE_MISSED_TMR_IRQS
  25         bool "Enqueue missed APIC timer interrpts"
  26         default n
  27         depends on APIC
  28         help
  29           Make up missed APIC periodic timer interrupts on later
  30           exits into the virtual machine
  31
  32 config DEBUG_APIC
  33         bool "APIC Debugging"
  34         default n
  35         depends on APIC && DEBUG_ON
  36         help
  37           Enable debugging for the APIC
  38
  39 config IO_APIC
  40         bool "IOAPIC"
  41         depends on APIC
  42         default y
  43         help
  44           Includes the Virtual IO APIC
  45
  46 config DEBUG_IO_APIC
  47         bool "IO APIC Debugging"
  48         default n
  49         depends on IO_APIC && DEBUG_ON
  50         help
  51           Enable debugging for the IO APIC
  52
  53 config MPTABLE
  54         bool "MPTABLE"
  55         default y
  56         depends on APIC
  57         help
  58           Includes the MPTABLE to map the APICs and IO-APIC
  59
  60
  61 endmenu
  62
  63 menu "Platform Devices and PCI"
  64
  65
  66 config KEYBOARD
  67         bool "Keyboard and mouse (PS/2)"
  68         default y
  69         help
  70           Includes the virtual standard PS/2 keyboard and mouse
  71
  72 config DEBUG_KEYBOARD
  73         bool "Keyboard Debugging"
  74         default n
  75         depends on KEYBOARD && DEBUG_ON
  76         help
  77           Enable debugging for the Keyboard
  78
  79 config NVRAM
  80         bool "NVRAM"
  81         default y
  82         help
  83           Includes the Virtual CMOS NVRAM Device
  84
  85 config DEBUG_NVRAM
  86         bool "NVRAM debugging"
  87         depends on NVRAM && DEBUG_ON
  88         help
  89           Enable debugging for the NVRAM
  90
  91 config PIT
  92         bool "PIT"
  93         default y
  94         help
  95           Includes the Virtual 8254 Programmable Interrupt Timer Device
  96
  97 config DEBUG_PIT
  98         bool "PIT debugging"
  99         depends on PIT && DEBUG_ON
 100         help
 101           Enable debugging for the PIT
 102
 103 config I440FX
 104         bool "i440fx Northbridge"
 105         depends on PCI
 106         default y
 107         help
 108           Includes the Virtual Northbridge
 109
 110 config PIIX3
 111         bool "PIIX3 Southbridge"
 112         default y
 113         help
 114           Includes the Virtual Piix3 Southbridge
 115
 116
 117 config PCI
 118         bool "PCI"
 119         default y
 120         help
 121           Includes the Virtual PCI Bus
 122
 123 config DEBUG_PCI
 124         bool "PCI debugging"
 125         depends on PCI && DEBUG_ON
 126         help
 127           Enable debugging for the PCI
 128
 129 config PASSTHROUGH_PCI
 130         bool "Passthrough PCI"
 131         default y
 132         depends on PCI && EXPERIMENTAL && SYMBIOTIC
 133         help
 134           Enables hardware devices to be passed through to the VM
 135
 136
 137 config PCI_FRONT
 138         bool "PCI front-end device"
 139         default y
 140         depends on PCI && HOST_DEVICE
 141         help
 142           PCI front-end device for a host-based PCI device implementation
 143           This device allows you to project a host-based *virtual* device
 144           into the guest as a PCI device.   If you want to project a
 145           physical PCI device, use Passthrough PCI instead.  If you want
 146           to project a non-PCI virtual or physical device,
 147           use the generic device.
 148
 149
 150 config DEBUG_PCI_FRONT
 151         bool "PCI front-end debugging"
 152         depends on PCI_FRONT && DEBUG_ON
 153         help
 154           Enable debugging for the PCI front-end device
 155
 156
 157 config HOST_PCI_SELPRIV
 158         bool "Host PCI selective privilege"
 159         depends on HOST_PCI
 160         depends on EXT_PRIV
 161         default n
 162         help
 163           This device enables selective direct access to hardware for
 164           passthrough PCI devices. The privilege extension under
 165           GEARS must be enabled for this option.  This device
 166           is a variant of the "always on" "host_pci" device.
 167
 168 config DEBUG_HOST_PCI_SELPRIV
 169     bool "Host PCI Debugging"
 170     depends on HOST_PCI_SELPRIV
 171     default n
 172     help
 173       This enables debugging output for the host_pci_selpriv device
 174
 175
 176 endmenu
 177
 178 menu "Storage Controllers"
 179
 180 config IDE
 181         bool "IDE"
 182         default y
 183         help
 184           Includes the Virtual IDE layer
 185
 186 config DEBUG_IDE
 187         bool "IDE Debugging"
 188         default n
 189         depends on IDE && DEBUG_ON
 190         help
 191           Enable debugging for the IDE Layer
 192
 193 config LINUX_VIRTIO_BLOCK
 194         bool "Linux Virtio Block Device"
 195         default y
 196         depends on PCI
 197         help
 198           Includes the Linux virtio block device
 199
 200 config DEBUG_VIRTIO_BLOCK
 201         bool "Linux Virtio Block Debugging"
 202         default n
 203         depends on LINUX_VIRTIO_BLOCK  && DEBUG_ON
 204         help
 205           Enable debugging for the Linux Virtio Block Device
 206
 207 endmenu
 208
 209
 210 menu "Block Device Backends"
 211
 212 config RAMDISK
 213         bool "RAMDISK storage backend"
 214         default y
 215         depends on IDE || LINUX_VIRTIO_BLOCK
 216         help
 217           Includes the RAM based disk backend
 218
 219 config DEBUG_RAMDISK
 220         bool "RAMDISK backend debugging"
 221         depends on RAMDISK && DEBUG_ON
 222         help
 223           Enable debugging for the ram based disk backend
 224
 225
 226 config FILEDISK
 227         bool "FILEDISK storage backend"
 228         default y
 229         depends on FILE && (IDE || LINUX_VIRTIO_BLOCK)
 230         help
 231           Includes the file based disk backend
 232
 233 config DEBUG_FILEDISK
 234         bool "FILEDISK backend debugging"
 235         depends on FILEDISK && DEBUG_ON
 236         help
 237           Enable debugging for the file based disk backend
 238
 239 config NETDISK
 240         bool "NETDISK storage backend"
 241         default y
 242         depends on SOCKET && (IDE || LINUX_VIRTIO_BLOCK)
 243         help
 244           Includes the Network based disk backend
 245
 246 config TMPDISK
 247         bool "TMPDISK storage backend"
 248         default y
 249         depends on IDE || LINUX_VIRTIO_BLOCK
 250         help
 251           Includes the temporary RAM disk
 252
 253
 254 endmenu
 255
 256
 257 menu "Network Devices"
 258
 259 config LINUX_VIRTIO_NET
 260         bool "Enable Virtio Network Device"
 261         default n
 262         depends on PCI
 263         help
 264           Enable the Virtio Net
 265
 266 config DEBUG_VIRTIO_NET
 267         bool "Linux Virtio Net Debugging"
 268         default n
 269         depends on LINUX_VIRTIO_NET && DEBUG_ON
 270         help
 271           Enable debugging for the Linux Virtio Network Device
 272
 273 config LINUX_VIRTIO_VNET
 274         bool "Enable Virtio VNET interface"
 275         default n
 276         depends on PCI && VNET
 277         help
 278           Enable the Virtio VNET interface for Control VM
 279
 280 config NE2K
 281         bool "NE2K"
 282         depends on EXPERIMENTAL
 283         default n
 284         help
 285           Includes the Virtual NE2K network card
 286
 287 config DEBUG_NE2K
 288         bool "NE2K debugging"
 289         default n
 290         depends on NE2K && DEBUG_ON
 291         help
 292           Enable debugging for the NE2K
 293
 294 config RTL8139
 295         bool "RTL8139"
 296         depends on EXPERIMENTAL
 297         default n
 298         help
 299           Includes the Virtual RTL8139 network card
 300
 301 config DEBUG_RTL8139
 302         bool "RTL8139 debugging"
 303         default n
 304         depends on RTL8139 && DEBUG_ON
 305         help
 306           Enable debugging for the RTL8139
 307
 308
 309 endmenu
 310
 311 menu "Network Backends"
 312
 313
 314 config DEBUG_LINUX_VIRTIO_VNET
 315         bool "Virtio VNET Interface Debugging"
 316         default n
 317         depends on LINUX_VIRTIO_VNET && DEBUG_ON
 318         help
 319           Enable debugging for the VNET Virtio interface
 320
 321 config VNET_NIC
 322         bool "Enable VNET Backend Device"
 323         default n
 324         depends on PCI && VNET
 325         help
 326           Enable the VNET backend device
 327
 328 config DEBUG_VNET_NIC
 329         bool "VNET Backend Device Debugging"
 330         default n
 331         depends on VNET_NIC && DEBUG_ON
 332         help
 333           Enable debugging for the VNET NIC Device
 334
 335 config VNET_GUEST_IFACE
 336         bool "Enable VNET guest hypercall interface"
 337         default n
 338         depends on VNET
 339         help
 340           Allows the guest to query for info, such as headers, from VNET
 341
 342 config DEBUG_VNET_GUEST_IFACE
 343         bool "VNET guest hypercall interface debugging"
 344         default n
 345         depends on VNET_GUEST_IFACE && DEBUG_ON
 346         help
 347           Enable debugging for the VNET guest hypercall interface
 348
 349 config NIC_BRIDGE
 350         bool "Enable Direct Bridge to Host network"
 351         default n
 352         depends on EXPERIMENTAL && PACKET
 353         help
 354           Enable Host Direct Network Bridge backend device for all network front devices
 355
 356 config DEBUG_NIC_BRIDGE
 357         bool "Debugging Direct Bridge to Host network"
 358         default n
 359         depends on NIC_BRIDGE && DEBUG_ON
 360         help
 361           Enable Debugging on Host Direct Network Bridge backend device
 362
 363 endmenu
 364
 365
 366
 367
 368 menu "Consoles and Character Devices"
 369
 370 config CGA
 371         bool "CGA"
 372         default n
 373         help
 374           Includes the Virtual CGA video support
 375
 376
 377 config DEBUG_CGA
 378         int "DEBUG_CGA"
 379         default 0
 380         depends on CGA
 381         help
 382           Enables Debugging for the CGA device (2 = Verbose, 1 = Debug, 0 = Off)
 383
 384 config TELNET_CONSOLE
 385         bool "Telnet Virtual Console"
 386         default n
 387         depends on CGA
 388         help
 389           Includes the virtual telnet console
 390
 391 config CURSES_CONSOLE
 392         bool "Curses Virtual Console"
 393         default n
 394         depends on CGA && CONSOLE
 395         help
 396           Includes the virtual curses console
 397
 398 config VGA
 399         bool "VGA"
 400         default n
 401         depends GRAPHICS_CONSOLE
 402         help
 403           Includes the Virtual VGA video support, and will
 404           eventually also include SVGA
 405           Host frame buffer support (GRAPHICS_CONSOLE) is needed
 406           for the hostframebuf option to work
 407
 408
 409 config DEBUG_VGA
 410         bool "DEBUG_VGA"
 411         default n
 412         depends on VGA
 413         help
 414           Enables debugging output for the VGA device
 415
 416 config PARAGRAPH
 417         bool "PARAGRAPH paravirtualized graphics card"
 418         default n
 419         depends GRAPHICS_CONSOLE
 420         help
 421           Includes a paravirtualized graphics card
 422
 423 config DEBUG_PARAGRAPH
 424         bool "DEBUG_PARAGRAPH"
 425         default n
 426         depends on PARAGRAPH
 427         help
 428           Enables debugging output for the PARAGRAPH device
 429
 430 config SERIAL_UART
 431         bool "Serial Port"
 432         default y
 433         help
 434           Include virtual serial port
 435
 436 config DEBUG_SERIAL
 437         bool "Debug Serial Port"
 438         default n
 439         depends on SERIAL_UART
 440         help
 441           Debugging virtual serial port
 442
 443 config LINUX_VIRTIO_CONSOLE
 444         bool "Enable Virtio Console Device"
 445         default n
 446         depends on PCI
 447         help
 448           Enable the Virtio Console
 449
 450
 451 endmenu
 452
 453 menu "Character Device Backends"
 454
 455 config CHAR_STREAM
 456         bool "Stream based character frontend"
 457         depends on STREAM
 458         default n
 459         help
 460           Include Stream based character device frontend
 461
 462 endmenu
 463
 464 menu "BIOS and Guest OS Debugging Devices"
 465
 466 config BOCHS_DEBUG
 467         bool "BIOS Debug Console Device"
 468         default y
 469         help
 470           Includes the BIOS debug console device
 471
 472 config OS_DEBUG
 473         bool "OS Debug Console Device"
 474         default y
 475         help
 476           Includes the OS debug console device
 477
 478 endmenu
 479
 480
 481 menu "Symbiotic Devices"
 482
 483 config LINUX_VIRTIO_SYM
 484         bool "Linux Virtio Symbiotic Device"
 485         default y
 486         depends on PCI && SYMBIOTIC
 487         help
 488           Includes the Linux virtio symbiotic device
 489
 490 config DEBUG_VIRTIO_SYM
 491         bool "Linux Virtio Symbiotic Debugging"
 492         default n
 493         depends on LINUX_VIRTIO_SYM && DEBUG_ON
 494         help
 495           Enable debugging for the Linux Virtio Symbiotic Device
 496
 497 config SWAPBYPASS_DISK_CACHE
 498         bool "SwapBypass disk cache"
 499         default y
 500         depends on SWAPBYPASS && (LINUX_VIRTIO_BLOCK || IDE)
 501         help
 502           Includes the SwapBypass ram based swap disk cache
 503
 504 config SWAPBYPASS_DISK_CACHE2
 505         bool "SwapBypass disk cache v2"
 506         default y
 507         depends on SWAPBYPASS && (LINUX_VIRTIO_BLOCK || IDE)
 508         help
 509           Includes the SwapBypass ram based swap disk cache
 510 endmenu
 511
 512 menu "Other Devices"
 513
 514 config LINUX_VIRTIO_BALLOON
 515         bool "Linux Virtio Balloon Device"
 516         default y
 517         depends on PCI
 518         help
 519           Includes the Linux virtio balloon device
 520
 521 config DEBUG_VIRTIO_BALLOON
 522         bool "Linux Virtio Balloon Debugging"
 523         default n
 524         depends on LINUX_VIRTIO_BALLOON  && DEBUG_ON
 525         help
 526           Enable debugging for the Linux Virtio Balloon Device
 527
 528
 529 config GENERIC
 530         bool "Generic Device"
 531         default y
 532         help
 533           Includes the virtual generic device.  This device allows you
 534           to see guest I/O port and memory region interaction with a physical
 535           device on the underlying hardware, as well as to ignore such
 536           interaction.  The generic device also serves as a front-end
 537           device for non-PCI host-based virtual device implementations.  If
 538           you want to handle either host-based virtual or physical devices
 539           that are not PCI devices, this is what you want.  If you want
 540           to handle a host-based virtual device that is a PCI device, you
 541           want to use the PCI front-end device.  If you want to handle
 542           a physical PCI device, you want the passthrough PCI device.
 543
 544 config DEBUG_GENERIC
 545         bool "Generic device Debugging"
 546         default n
 547         depends on GENERIC && DEBUG_ON
 548         help
 549           Enable debugging for Generic
 550
 551
 552 config DISK_MODEL
 553         bool "Disk Performance Model"
 554         default y
 555         depends on LINUX_VIRTIO_BLOCK || IDE
 556         help
 557           Includes Performance model filter for disk operations
 558
 559
 560 endmenu
 561
 562 endmenu
 563