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: ce3ab88)
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:42:42 +0000 (11:42 -0400)
commitbb33d48ebc1556d29c3e3ce9e46d5d4c9c32aa48
treea582a89a1ca22efc05a6cffbfdcceabcf651ab84tree | snapshot
parentce3ab888e2ca5f14a89da45b4dc64122ff1e1050commit | 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
Public Palacios Development Repository for the V3VEE Project