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>
Wed, 4 Aug 2010 00:25:14 +0000 (19:25 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 4 Aug 2010 00:25:14 +0000 (19:25 -0500)
commit33b6aeb3258d1506b8e96e45e9b002554b664ca8
treec60f63a95ff0fe633999bd6c2a2e2c4fdccd0152
parente531d13b53ac8b32bca19131dd7a2824cb17eff9
parent91dd8fc81ca7e4d820c2d0961e92a4c23b4fbd3b
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel
palacios/include/palacios/vm_guest.h
palacios/src/palacios/vmm_mem.c