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.


matched extension file-naming conditions, changed a few ifdefs to match config files
authorKyle Hale <kh@u.northwestern.edu>
Tue, 21 Jun 2011 03:08:46 +0000 (22:08 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 01:18:36 +0000 (20:18 -0500)
commit98c9bb5e5f3df156ec40abda7d765974a99c1e0e
treef17f5ebf6e9e3db0495c8d58a9984e3103bb838f
parent4e8393bbded9e1ee77c2280b3ece64a6757c54ee
matched extension file-naming conditions, changed a few ifdefs to match config files
palacios/src/extensions/ext_execve_hook.c [new file with mode: 0644]
palacios/src/extensions/ext_linux_syscall_map.c [new file with mode: 0644]
palacios/src/extensions/ext_mpi_accel.c [new file with mode: 0644]
palacios/src/extensions/ext_process_environment.c [new file with mode: 0644]
palacios/src/extensions/ext_syscall_hijack.c [new file with mode: 0644]