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: 49852ca)
Memory allocation checking framework
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 27 May 2013 22:32:22 +0000 (17:32 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 27 May 2013 22:34:00 +0000 (17:34 -0500)
commit4a63fd4cef38da57f4b44d8ac88737faa0a12846
tree35b6075c59bb8dc73a27f37c1917dd82e84689f6tree | snapshot
parent49852ca1e8280641ffb7ef2986c03bd443bd02b8commit | diff
Memory allocation checking framework
Kconfig diff | blob | history
linux_module/Makefile diff | blob | history
linux_module/main.c diff | blob | history
linux_module/memcheck.c [new file with mode: 0644] blob
linux_module/memcheck.h [new file with mode: 0644] blob
linux_module/palacios-stubs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project