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...
authorLei Xia <lxia@northwestern.edu>
Fri, 6 May 2011 02:50:06 +0000 (21:50 -0500)
committerLei Xia <lxia@northwestern.edu>
Fri, 6 May 2011 02:50:06 +0000 (21:50 -0500)
commita57b321b6e608bf4ff2ae7da11b5cba9d35de35f
treeb5152cb60f05304263f6778a00c744da5be28731
parent6ed3385440a7d82f4529bb9433d1a5489351c378
parent5ac6ebe490fe6ebb948dd68736c693a3bb2f82dc
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/vnet/Makefile
linux_module/Makefile
palacios/src/palacios/vmm.c
palacios/src/vnet/Makefile