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.


update palacios mempool status when onlining memory in userspace
authorKyle Hale <kh@u.northwestern.edu>
Fri, 27 Jul 2012 03:55:36 +0000 (22:55 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 3 Aug 2012 18:02:36 +0000 (13:02 -0500)
commita80196a40e35de0efc20efb3e9466d348d5fd28c
tree7772e59a61b5615616042b536af4b295dfb2264f
parentef99d19f9ee3ff28d07f83c240a557938b3ab0d5
update palacios mempool status when onlining memory in userspace

/proc/v3vee/v3-mem will now report correctly after memory has been onlined
linux_module/ioctls.txt
linux_module/main.c
linux_module/palacios.h
linux_usr/v3_mem_free.c