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: 6086c51)
Gears Fast System Call Exiting Utility Service
authorKyle Hale <kh@u.northwestern.edu>
Fri, 13 Apr 2012 21:33:34 +0000 (16:33 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 21:37:10 +0000 (16:37 -0500)
commit08c7d14f027c317dc643eacc1a3687745de9b4f9
tree2d7a8224b272f5b5304962c57003fc47ef5bebf7tree | snapshot
parent6086c518257eb80a38ef4dc8292aa2254c613a17commit | diff
Gears Fast System Call Exiting Utility Service
gears/services/fsceu/Makefile [new file with mode: 0644] blob
gears/services/fsceu/README [new file with mode: 0644] blob
gears/services/fsceu/syscall.S [new file with mode: 0644] blob
gears/services/fsceu/syscall_decode.c [new file with mode: 0644] blob
gears/services/fsceu/syscall_decode.h [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project