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.


Merge branch 'devel' of newskysaw.cs.northwestern.edu:/home/palacios/palacios into...
[palacios.git] / palacios / src / interfaces / Kconfig
1 menu "Host Interfaces"
2
3 config FILE
4         bool "Host Support for file operations"
5         default n
6         help
7           Select this if your host OS supports file operatoins and you want Palacios to be able to use them.
8         
9 config KEYED_STREAMS
10         bool "Host support for keyed streams"
11         default n
12         help
13           Select this if your host OS supports keyed streams
14           Palacios Checkpoint/Restore and Migration depends on this feature
15
16 config KEYED_STREAMS_WITH_TAGS
17         bool "Keyed streams will be written in verbose tagged style when std save/load macros are in use"
18         default n
19         depends on KEYED_STREAMS
20         help
21           Select this if you want the standard save and load macros
22           (STD_SAVE, STD_LOAD) to write to streams in the format:
23           [magic cookie][tag len][tag][data len][data] instead of the
24           default format of [data]
25
26 config STREAM
27         bool "Stream support"
28         default n
29
30           
31 config CONSOLE
32         bool "Host Support for VM text-mode console"
33         default n
34         help
35           Select this if you want to forward a guest console interface to some host OS service
36           This is for a TEXT MODE console.   Select the framebuffer console for graphics and text
37             
38 config GRAPHICS_CONSOLE
39         bool "Host Support for VM graphics and text-mode console based on a frame buffer"
40         default n
41         help
42           Select this if you want to forward a guest graphics-mode (and text-mode) console
43           interface to some host OS service.  This is for a GRAPHICS console based on a shared frame buffer.
44           Text mode output is RENDERED onto the framebuffer
45
46 config SOCKET
47         bool "Host support for Network Sockets"
48         default y
49         help
50           Select this if you host OS implements a socket API that is available to Palacios. This is required
51           to support the internal networking features of Palacios.
52
53
54 config PACKET
55         bool "Host support for Raw Packet Transmision"
56         depends on EXPERIMENTAL
57         default n
58         help
59           Select this if you host OS implements a raw packet network API that is available to Palacios. This is required
60           to support the internal networking features of Palacios.
61
62
63 config HOST_DEVICE
64         bool "Host device support"
65         default n
66         help
67           Select this if you want to forward a guest device to a host-based decice implementation
68           This makes it possible for virtual devices such as the generic device and the pci_front
69           device to make host-based device implementations appear within the guest
70           
71
72 endmenu