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: 3f4d456)
removed reference to shadow_efer
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Feb 2009 22:27:43 +0000 (16:27 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Feb 2009 22:27:43 +0000 (16:27 -0600)
commit40495cd16267f1f7b17eb6f4181ca14df6869acc
tree95b421e452d620aff3ca1cd0d44fb8597673524etree | snapshot
parent3f4d4561cb9187c173cc38b237a2da583b8bae65commit | diff
removed reference to shadow_efer
palacios/src/palacios/vmm_ctrl_regs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project