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.


Correct key name in pci save/restore
Peter Dinda [Tue, 19 Jun 2012 20:41:01 +0000 (15:41 -0500)]
palacios/src/devices/pci.c

index f9a2f9b..3eadbc5 100644 (file)
@@ -1114,7 +1114,7 @@ static int pci_save(struct v3_chkpt_ctx * ctx, void * private_data) {
        struct pci_device * dev = NULL;
        struct v3_chkpt_ctx * bus_ctx = NULL;
 
-       snprintf(buf, 128, "pci-%d\n", i);
+       snprintf(buf, 128, "pci-%d", i);
        
        bus_ctx = v3_chkpt_open_ctx(ctx->chkpt, ctx, buf);
 
@@ -1156,7 +1156,7 @@ static int pci_load(struct v3_chkpt_ctx * ctx, void * private_data) {
        struct pci_device * dev = NULL;
        struct v3_chkpt_ctx * bus_ctx = NULL;
 
-       snprintf(buf, 128, "pci-%d\n", i);
+       snprintf(buf, 128, "pci-%d", i);
        
        bus_ctx = v3_chkpt_open_ctx(ctx->chkpt, ctx, buf);