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: e4b0848)
added error checking to guest launch to handle core mapping bugs
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 27 Oct 2011 17:55:36 +0000 (13:55 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 27 Oct 2011 17:58:57 +0000 (13:58 -0400)
commitf17b8100237d1897d426f3457a43037a9446dd79
tree523101604290a93a58836dca69d1273a7980b051tree | snapshot
parente4b08489b8961b18256d49ffc92dc1d083091cd2commit | diff
added error checking to guest launch to handle core mapping bugs
linux_module/palacios-stubs.c diff | blob | history
linux_module/vm.c diff | blob | history
palacios/src/palacios/vmm.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes