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: 266bac1)
attribution fix
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Aug 2010 19:39:21 +0000 (14:39 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Aug 2010 19:39:21 +0000 (14:39 -0500)
commit47c7637661a01c0c053b54acb418af21e9a39b31
tree599851c07ab082e5bfb9877bccb29e3881b75b63tree | snapshot
parent266bac14d37ab64d943caf89a6eb59a4781a346acommit | diff
attribution fix
palacios/src/palacios/vmm_direct_paging_64.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project