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: 72b46c1)
ported 32 bit VMX launch code for nested entries
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 17 Feb 2010 17:56:46 +0000 (11:56 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 17 Feb 2010 17:56:46 +0000 (11:56 -0600)
commit167669d14b4a2564a298fbb3a1bf626d5f9f4033
tree8eb1812a54cd9dddd04db4a2a865cf7a75a9069btree | snapshot
parent72b46c150b774d64c5e971ac4575c86142c5a509commit | diff
ported 32 bit VMX launch code for nested entries
palacios/src/palacios/vmx_lowlevel.S diff | blob | history
Public Palacios Development Repository for the V3VEE Project