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.


Memory management and /proc enhancements
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 15 Sep 2013 22:43:08 +0000 (17:43 -0500)
committerroot <root@v-test-r415-3.localdomain>
Sun, 15 Sep 2013 22:43:08 +0000 (17:43 -0500)
commite8e3ec0355b791d6f729df796d0155bccca85090
tree93a2764894792a7fecdd7c76eba6c8b31cc4b5a6
parentcc147585559de5e37d51904da4bea40347e34937
Memory management and /proc enhancements

- /proc/v3vee/v3-info projects up useful information about the dynamic configuration of Palacios
- v3_mem uses this functionality to catch common problems before making kernel
  requests.  It also can now search for appropriate memory to offline given the numa domain
linux_module/main.c
linux_usr/v3_mem.c
palacios/include/palacios/vmm.h