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: e1ce948)
Correction of scheduler registration check
authorPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 14 Feb 2013 18:06:02 +0000 (11:06 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 14 Feb 2013 18:06:02 +0000 (11:06 -0700)
commitcdaef2158977795b123c9dba6816eb6e9d54810d
tree949b74785c0408048f6b4f570e86950a67036ca1tree | snapshot
parente1ce948d73094f899ada0a91739539441c8be098commit | diff
Correction of scheduler registration check
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project