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: 7995b51)
Ignore frees of null in all cases (kfree, vfree, pagefree)
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 24 Mar 2014 21:59:03 +0000 (16:59 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 24 Mar 2014 21:59:03 +0000 (16:59 -0500)
commit35ae6d4aed98585da4c63817a4336daa10546e40
tree3c7100ec05c36e30cfebffb23235d3ca968722aftree | snapshot
parent7995b5188875e3df8d792691609b5029630a3fb0commit | diff
Ignore frees of null in all cases (kfree, vfree, pagefree)
linux_module/palacios-stubs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project