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.


Range-based invalidation for nested and direct paging + use in memory region managment
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 21 Feb 2013 22:29:52 +0000 (16:29 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 21 Feb 2013 22:29:52 +0000 (16:29 -0600)
commit03b23f614f0a00d3e23d5579f9abb87684af9ec8
tree1d3ca9953055d72000629cbfc13ad53aad1b19db
parentc53e6ed4d6903df3c8351b8334848c466076d5b0
Range-based invalidation for nested and direct paging + use in memory region managment
palacios/include/palacios/vmm_direct_paging.h
palacios/include/palacios/vmm_paging.h
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_direct_paging_32pae.h
palacios/src/palacios/vmm_direct_paging_64.h
palacios/src/palacios/vmm_mem.c