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.


v3_mem enhancements - managed offlining; ability to deallocate memory (obviates v3_me...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 20 Aug 2013 23:06:36 +0000 (18:06 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 20 Aug 2013 23:06:36 +0000 (18:06 -0500)
commit1950fe46c8875f4e29a7074bac321b50247e20d0
treec2cf9f312b6b802c7e585510f4e62e67a162f865
parent50fa3e0498a3395ceb6d6d4ea6d78b6334aa2ec3
v3_mem enhancements - managed offlining; ability to deallocate memory (obviates v3_mem_free)
linux_usr/v3_ctrl.h
linux_usr/v3_mem.c