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.


Assorted cleanup of memory-related user-level stuff
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 31 Aug 2015 20:44:28 +0000 (15:44 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 31 Aug 2015 20:52:54 +0000 (15:52 -0500)
commitf240f8a3c11478abe180bd906c746c68eb8c3a3c
treea3d25182e88ef15aa81858dccd4ec1ffa4538f90
parentf1c8d924817188c4f08a97205e97392ff304913f
Assorted cleanup of memory-related user-level stuff

- adjust guest memory access library to handle truncated
  output describing VMs with too many base regions (can happen with cache part)
- adjust memory allocation utility to handle fractional amounts
  (tiny chunks are best for cache part) while not allowing
  the amounts to be too tiny
- seperate concept of memory block size and base region size
  when configuring palacios - cachepart needs a base region
  size that is generally smaller than the memory block size
  because there are other page allocations (e.g., vmcb bitmasks)
  that are larger than one page

- removal of debug cruft in cachepart
linux_usr/v3_guest_mem.c
linux_usr/v3_mem.c
palacios/src/palacios/vmm_cachepart.c
v3_config_v3vee.pl