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 enhancements: dynamic removal, cleanup at module remove time
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 20 Aug 2013 23:14:30 +0000 (18:14 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 20 Aug 2013 23:14:30 +0000 (18:14 -0500)
commit28dcbfda8061d2785301784d27694d1e02f54fff
tree1bfc01ea40fb2dfa2d253c1b7207eb34dfd530a5
parenta1939bb108d902e87c4d1b677d7d492858cc4530
Memory management enhancements:  dynamic removal, cleanup at module remove time
linux_module/buddy.c
linux_module/buddy.h
linux_module/main.c
linux_module/mm.c
linux_module/mm.h
linux_module/palacios.h