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: 9e15dfb)
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:58:00 +0000 (11:58 -0600)
commit3d2d01f344c7417adba8f7b8ac6501d45392222f
treed574bfa1062734954b34f2aff50890b9396a4560tree | snapshot
parent9e15dfbbd7e52361a577101d56adcde35f6bfdcdcommit | 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