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: 22c7f98)
updated efer write behavior (DOES NOT SUPPORT INTEL EPT CPUS)
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 18 Feb 2011 02:48:27 +0000 (20:48 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 18 Feb 2011 02:48:27 +0000 (20:48 -0600)
commita9cfeadcd23cc6832572e3855e33769fb38ef6ca
tree577ea4cb2b139b8cfa13c7104ca31172cf07d06ftree | snapshot
parent22c7f98617f63f097b08e8159383c23aa6d9ad33commit | diff
updated efer write behavior (DOES NOT SUPPORT INTEL EPT CPUS)
palacios/src/palacios/vmm_ctrl_regs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project