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: a043380)
Timed yielding in vmm_halt to avoid pegging CPU
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 26 Jun 2012 21:33:10 +0000 (16:33 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 7 Jul 2012 21:21:09 +0000 (16:21 -0500)
commit4d17b20a86eb8102a287263372458fcb9019c232
treec498a44f4e69ffecc745615b226ac67f3ccb676btree | snapshot
parenta04338047280b77bdaa3882b748a442d9c9c06a8commit | diff
Timed yielding in vmm_halt to avoid pegging CPU
palacios/src/palacios/vmm_halt.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project