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: b7ecfd2)
updated stop procedure to handle multiple cores
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 23 Nov 2010 23:57:57 +0000 (17:57 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 23 Nov 2010 23:57:57 +0000 (17:57 -0600)
commitd962f2be029772be3f21d9bd206ddf2a9f6a1d20
treee8b1baf8b3e6f229fedb34ffacbae7e3cb88be75tree | snapshot
parentb7ecfd2959b3dea49b87aa44632686801132516ccommit | diff
updated stop procedure to handle multiple cores
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project