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.


Bug fixes to memory hooks
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Apr 2011 20:19:42 +0000 (15:19 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Apr 2011 20:19:42 +0000 (15:19 -0500)
commit0d4631b3eca360e9df2c94f3ba504836148d0eec
tree32c10ecf6b89082dcce71f9a19b547d2ddf91dc1
parent182f64e4f9b4718aa96f08f8729dc7ef3e642323
Bug fixes to memory hooks

These will likely only have affected the memory->memory operations
with two different regions
palacios/src/palacios/vmm_mem_hook.c