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: 9d3c253)
vmx fixes
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 20 Jun 2012 19:23:02 +0000 (15:23 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 20 Jun 2012 19:23:02 +0000 (15:23 -0400)
commit2501786527fbddda7b8d2ef7218b683b6e21ca83
tree75924ad8d49f4e1d0342d0eefad5b193f56eb734tree | snapshot
parent9d3c2538b9deab4c102cc9c4312517e1df752488commit | diff
vmx fixes
palacios/src/palacios/vmx.c diff | blob | history
palacios/src/palacios/vmx_ctrl_regs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project