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-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 42d6bb2)
moved VM runstate settings to avoid race condition
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 1 Nov 2011 23:42:35 +0000 (19:42 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 3 Nov 2011 15:53:02 +0000 (11:53 -0400)
commit67a6b30f915c83005bf0e3ae4a2d9f9598b10013
treec94b31872a9c7cf601a7ca7a61e5c31165a90f7atree | snapshot
parent42d6bb27a1259069edd4abf28b7d796ae0f91f81commit | diff
moved VM runstate settings to avoid race condition
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmm.c diff | blob | history
palacios/src/palacios/vmx.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes