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://newskysaw.cs.northwestern.edu/home/palacios/palacios...
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 27 Apr 2012 17:12:51 +0000 (11:12 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 27 Apr 2012 17:12:51 +0000 (11:12 -0600)
commit3500a418f4ab8a5ce38c1480f107b5deb5712bee
tree10edf7d53d4fc02690a6618ac3dc481f8e880aff
parent31fe08a1a33c9386a0d7d4d5f6005f6dcd02f3eb
parentd9c2f0c816ccafbad28d5d7c451bab2723db8fdf
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
palacios/src/palacios/svm.c
palacios/src/palacios/vmx.c