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: 6ddfbbe)
This patch prevents v3_delete_mem_region from freeing memory when it still needs...
authorErik van der Kouwe <erikvdk@gmail.com>
Sat, 12 Mar 2011 07:45:11 +0000 (01:45 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Sat, 12 Mar 2011 07:45:11 +0000 (01:45 -0600)
commit83bd28a67ecaaa7dfd9db4c459485cf8af07d4a5
treefacf5ded750be9b9a66f65fee3078761996e3469tree | snapshot
parent6ddfbbe29e026890254dace913cc75c12caa4a18commit | diff
This patch prevents v3_delete_mem_region from freeing memory when it still needs to be read.
palacios/src/palacios/vmm_mem.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project