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: 324f9e9)
Add tools for transforming a kernel module into a guarded module
authorKyle Hale <kh@u.northwestern.edu>
Wed, 10 Apr 2013 21:07:37 +0000 (16:07 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 24 Apr 2013 23:23:24 +0000 (18:23 -0500)
commit9fc08977f4954b9343fc2e38e57ffb11225ab24d
treeefd18c243dd231649982abaf00fa575fc3b0fdbatree | snapshot
parent324f9e9a6e83b8079926902a26e3f6bb5e624a06commit | diff
Add tools for transforming a kernel module into a guarded module
gears/guarded_modules/christo-s.pl [new file with mode: 0755] blob
gears/guarded_modules/guard_callbacks_new.rb [new file with mode: 0755] blob
Public Palacios Development Repository for the V3VEE Project