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.


Added host interface for selective system call exiting utility
authorKyle Hale <kh@u.northwestern.edu>
Tue, 29 May 2012 18:19:07 +0000 (13:19 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 4 Jun 2012 19:34:32 +0000 (14:34 -0500)
commitc64dbfd9f9f0cd80a659c82b52d73918aa975d53
treec61158fdb1572961b91036eb51ee1df88a5ff9f5
parentbdc39b2899a046d5066b449726143c158d50032f
Added host interface for selective system call exiting utility
linux_module/Makefile
linux_module/iface-syscall.c [new file with mode: 0644]
linux_module/iface-syscall.h [new file with mode: 0644]
linux_module/ioctls.txt