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.


Expose kmalloc flags within linux_module + add further debugging features for heap...
authorPeter Dinda <pdinda@northwestern.edu>
Sat, 7 Jul 2012 23:33:46 +0000 (18:33 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 7 Jul 2012 23:33:46 +0000 (18:33 -0500)
commit06ad2088c1bf59d4d6d11986d4de2195e64baaac
treeefb18764262a6bcd578a725cd244626d9c7dee52
parent25aec1d035e5a740d8c1cb936d7633b6bb5751f1
Expose kmalloc flags within linux_module + add further debugging features for heap alloc
linux_module/palacios-stubs.c
linux_module/palacios.h