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...
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 20 Jan 2012 19:08:36 +0000 (13:08 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 20 Jan 2012 19:08:36 +0000 (13:08 -0600)
commit3eb79d116ea7c6f48c1575a2b6b58372d0db4eaa
treebc1d3f97ab5d2121f3ff4a855f86ffd493102cbc
parent785e74aa4828251a93deb9f05bebd3c84a45d0c2
parent3b3b7134e19273057fcfd0a9e73cc588eb4f7456
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
linux_module/iface-host-dev.c
palacios/src/palacios/vmm_msr.c