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: 06d03d7)
Minor Fix to VMX code
authorLei Xia <lxia@northwestern.edu>
Fri, 1 Apr 2011 14:26:01 +0000 (09:26 -0500)
committerLei Xia <lxia@northwestern.edu>
Fri, 1 Apr 2011 14:26:01 +0000 (09:26 -0500)
commit7b93b104b5c8eee70e11304789b2a7d66cff9704
treecee6729d7a37119c6138833336e65435a5f6b67ftree | snapshot
parent06d03d7a409436fc010ece4b0473364d5e269884commit | diff
Minor Fix to VMX code
Now Palacios+Kitten works again on VT machine
palacios/src/palacios/vmcs.c diff | blob | history
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