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: c64dbfd)
Added user-space utilities for controlling the selective syscall exiting utility
authorKyle Hale <kh@u.northwestern.edu>
Tue, 29 May 2012 18:20:38 +0000 (13:20 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 4 Jun 2012 19:35:04 +0000 (14:35 -0500)
commitf82905971510d5b2f1e2155f89711ade381de628
tree855ca2846a212029660b65a63b7bf3ff7bd82a12tree | snapshot
parentc64dbfd9f9f0cd80a659c82b52d73918aa975d53commit | diff
Added user-space utilities for controlling the selective syscall exiting utility
linux_usr/Makefile diff | blob | history
linux_usr/v3_syscall.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project