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.


Buddy allocator metadata for pools
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 2 Aug 2013 00:46:08 +0000 (19:46 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commit84c84a909e8c3374e2cd7768ef4240ca9d73222f
tree89fbde008989a00033b4c7e73a568f943ba31252
parent9b50e169b294dba9c1e36ad15d5ff85898c0f21e
Buddy allocator metadata for pools
linux_module/buddy.c
linux_module/buddy.h