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 palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Thu, 21 Apr 2011 14:41:01 +0000 (09:41 -0500)]
Conflicts:

palacios/src/devices/nvram.c

1  2 
palacios/src/devices/Kconfig

@@@ -43,7 -43,16 +43,16 @@@ config GENERI
        bool "Generic Device"
        default y
        help 
-         Includes the Virtual Generic device
+         Includes the virtual generic device.  This device allows you
+           to see guest I/O port and memory region interaction with a physical
+           device on the underlying hardware, as well as to ignore such
+           interaction.  The generic device also serves as a front-end
+           device for non-PCI host-based virtual device implementations.  If
+           you want to handle either host-based virtual or physical devices
+           that are not PCI devices, this is what you want.  If you want
+           to handle a host-based virtual device that is a PCI device, you  
+           want to use the PCI front-end device.  If you want to handle
+           a physical PCI device, you want the passthrough PCI device.  
  
  config DEBUG_GENERIC
        bool "Generic device Debugging"
@@@ -156,7 -165,7 +165,7 @@@ config LINUX_VIRTIO_VNE
          default n
          depends on PCI && EXPERIMENTAL && VNET
          help
 -          Enable the Virtio VNET interface
 +          Enable the Virtio VNET interface for Control VM
  
  config DEBUG_LINUX_VIRTIO_VNET
          bool "Virtio VNET Interface Debugging"
  
  
  config VNET_NIC
 -        bool "Enable VNET VIrtio NIC Device"
 +        bool "Enable VNET Backend Device"
          default n
        depends on PCI && EXPERIMENTAL && VNET
          help
 -          Enable the VNET Virtio backend device
 +          Enable the VNET backend device
  
  config DEBUG_VNET_NIC
          bool "VNET NIC Device Debugging"
@@@ -267,6 -276,7 +276,7 @@@ config PASSTHROUGH_PC
        help 
          Enables hardware devices to be passed through to the VM
  
  config DEBUG_PCI
        bool "PCI debugging"
        depends on PCI && DEBUG_ON
          Enable debugging for the PCI  
  
  
+ config PCI_FRONT
+       bool "PCI front-end device"
+       default y 
+       depends on PCI && HOST_DEVICE
+       help 
+         PCI front-end device for a host-based PCI device implementation
+           This device allows you to project a host-based *virtual* device 
+           into the guest as a PCI device.   If you want to project a 
+           physical PCI device, use Passthrough PCI instead.  If you want
+           to project a non-PCI virtual or physical device, 
+           use the generic device.
+           
+ config DEBUG_PCI_FRONT
+       bool "PCI front-end debugging"
+       depends on PCI_FRONT && DEBUG_ON
+       help 
+         Enable debugging for the PCI front-end device 
+           
  
  config PIC
        bool "8259A PIC"