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: 0b342d2)
fix thread exit behavior to allow stopping of guests
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 7 Oct 2011 17:53:35 +0000 (13:53 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 7 Oct 2011 17:53:35 +0000 (13:53 -0400)
commit83942e281e4e17d6eb296d343094578dc50b3b0b
tree5fee4ac081cb12665df703e38c044f631f9b3cd7tree | snapshot
parent0b342d28c860e4b3911b529f5363d35faa86aa25commit | diff
fix thread exit behavior to allow stopping of guests
linux_module/palacios-stubs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project