Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


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