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: 06ad208)
Revised check for already-launched VM
authorKyle Hale <kh@u.northwestern.edu>
Sat, 7 Jul 2012 23:39:09 +0000 (18:39 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 7 Jul 2012 23:39:09 +0000 (18:39 -0500)
commitd597d493eb303496f3bb32e2a73a094a8a20a022
treea245e842820f39e1107a0b5b7328f589d44f6db7tree | snapshot
parent06ad2088c1bf59d4d6d11986d4de2195e64baaaccommit | diff
Revised check for already-launched VM
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project