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.


Better support for dynamic changes to page event callbacks
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 30 Jun 2014 19:25:10 +0000 (14:25 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 30 Jun 2014 19:25:10 +0000 (14:25 -0500)
commit2f8874213ef55452fd063eec4a87536454a2c40f
tree4c8650be1703730e644d66c3b33abd0d3262f577
parent626494b00fd477070f7eb43693eb16c4dc45f66b
Better support for dynamic changes to page event callbacks
palacios/include/palacios/vmm_direct_paging.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_shadow_paging.c