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.cs.northwestern.edu//home/palacios...
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Jan 2010 20:34:16 +0000 (14:34 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Jan 2010 20:34:16 +0000 (14:34 -0600)
commit73f7dfbeb661474a53ed5b3c73898a431e5e737e
treefdcb70918f779aec716397675ada2c6cfc7f9038
parente136664c9a3b9346f3cabef154f4e164362a0d82
parentaa514a096de7869eb2d6b989d0f398d23f37650a
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel
palacios/src/devices/pci_passthrough.c