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-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: b2733fe)
enabled stopping a VM before the secondary cores have been initialized
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 28 Oct 2011 17:58:42 +0000 (13:58 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 28 Oct 2011 18:16:47 +0000 (14:16 -0400)
commitebef9a2d1ef75c5c5f55f6ecd6a259ffd4b7461e
tree8ad44983fea1b797167a5428bd75faef0d185f0atree | snapshot
parentb2733fed458b61492b223633597e37ac18143b37commit | diff
enabled stopping a VM before the secondary cores have been initialized
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmx.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes