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: dffa723)
Avoid corruption when freeing a guest fails
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 21:01:47 +0000 (16:01 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 21:01:47 +0000 (16:01 -0500)
commit3c1a150e4bdf5bd3a8b572dd2021ba95cbb35f1a
tree29697a53164c94eb0877a477d6ead451b6b34810tree | snapshot
parentdffa723ee7e01abf77e718838b7e8ab82487b8f6commit | diff
Avoid corruption when freeing a guest fails
linux_module/main.c diff | blob | history
linux_module/vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project