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.


Add memory tracking functionality to Palacios
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 27 Jun 2014 00:52:56 +0000 (19:52 -0500)
committerroot <root@v-test-r415-3.localdomain>
Fri, 27 Jun 2014 00:52:56 +0000 (19:52 -0500)
commitce0f119828348c3c57a00c4aa268a8a223ccd7f8
tree6ed8dd850413f35850e6a2a122dc64a90dfcd347
parente8ee9e1536b3fa2e69f5537a90f5e034e9529248
Add memory tracking functionality to Palacios

This creates an abstraction for tracking memory references
at the granularity of pages, regardless of the paging mechanism
being used.
Kconfig
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_direct_paging.h
palacios/include/palacios/vmm_mem_track.h [new file with mode: 0644]
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_mem_track.c [new file with mode: 0644]
palacios/src/palacios/vmx.c