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: a1f6a0d)
Changes to GEARS core to allow for selective syscall host interface
authorKyle Hale <kh@u.northwestern.edu>
Tue, 29 May 2012 18:05:41 +0000 (13:05 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 4 Jun 2012 19:21:47 +0000 (14:21 -0500)
commitbdc39b2899a046d5066b449726143c158d50032f
tree1cfb5ecacb0f29ad8d8d7e3396bfbc1a57aca6d8tree | snapshot
parenta1f6a0d482053dd21a03a49e345db4eae8ba9d59commit | diff
Changes to GEARS core to allow for selective syscall host interface
palacios/include/gears/syscall_hijack.h diff | blob | history
palacios/src/gears/ext_syscall_hijack.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project