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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c726cc)
minor clean up fixes and debugging
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 15:28:31 +0000 (10:28 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 15:28:31 +0000 (10:28 -0500)
commitb91af04aa542bc3837f88c576c26f5c6ed946197
tree57862849c967796207a870ae3de634e77f187e1btree | snapshot
parent1c726cc08a6614a502bfbfa31abd4a0e098ae78bcommit | diff
minor clean up fixes and debugging
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vm_guest.c diff | blob | history
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project