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: 2191332)
Cleanup in thread name handling
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 22:12:04 +0000 (17:12 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 22:12:04 +0000 (17:12 -0500)
commit7479d2b7c74ac75e2a0a3e8472724cf92df32912
tree801bbdb3ada855d0a381c1ea7a307dc211983e02tree | snapshot
parent2191332220bb4d912f4ba2d2dd9898d68f7a0abdcommit | diff
Cleanup in thread name handling
linux_module/palacios-stubs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project