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.


Integration of buddy allocator
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 2 Aug 2013 00:45:15 +0000 (19:45 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commit9b50e169b294dba9c1e36ad15d5ff85898c0f21e
tree8d964317d81d11c0ebb87677fbc96caa4beb2240
parent012ed696bcded41f6d3bb6c787cbc2922ed0f5aa
Integration of buddy allocator

This also includes a new dynamic allocation feature (Dinda)
linux_module/mm.c
linux_module/mm.h