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: 71302f0)
minor updates
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 May 2008 22:20:37 +0000 (22:20 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 May 2008 22:20:37 +0000 (22:20 +0000)
commit55c5cf8adebb870874e02b439b176f2b020ba5a0
tree59049fd4ece8aac8930a5d56fdedb231bf39c8f9tree | snapshot
parent71302f08aa90296ec4305356d90ca6e6d1891eaccommit | diff
minor updates
palacios/include/palacios/vmm.h diff | blob | history
palacios/include/palacios/vmm_util.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project