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: 6ba597e)
added argument to thread create hook
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 8 Mar 2009 23:56:47 +0000 (18:56 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 8 Mar 2009 23:56:47 +0000 (18:56 -0500)
commit9dcbb93853a8ffa6622cca0e86f4a4a29ddc52fe
tree8f204c11491ef196128f8eabd388a8ebe5bc511atree | snapshot
parent6ba597e93de8a1511d3be40066ae5082b9dbeb70commit | diff
added argument to thread create hook
palacios/include/palacios/vmm.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project