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 ssh://palacios@newskysaw/home/palacios/palacios into devel
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 23 Nov 2010 16:31:34 +0000 (10:31 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 23 Nov 2010 16:31:34 +0000 (10:31 -0600)
commitc80aaab03156ec020bd4a76688ff6d2544955bf3
tree005cce23f5bb5369c3aa27ca251d2eee1f4bd3d4
parent72420d58d18ec71d4777d029daaf0c6a1c820b32
parenteb5eb0f70b84003972a96060c76bd7efad340be4
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
palacios/src/devices/lnx_virtio_nic.c
palacios/src/devices/nic_bridge.c
palacios/src/devices/vnet_nic.c