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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e3bb26)
Use GFP_DMA32 for small page allocations
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 16 Nov 2011 18:31:09 +0000 (12:31 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 16 Nov 2011 18:31:09 +0000 (12:31 -0600)
commit7e99758f3884f8f3d3f8895d9e4461f456331483
treed99076747b0ffa70a015312736e6487f373ebd6atree | snapshot
parent5e3bb26339e3a3ca09c057b28ab24463669053c8commit | diff
Use GFP_DMA32 for small page allocations
linux_module/mm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project