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 missing extension files
authorKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 17 Jun 2011 21:04:51 +0000 (16:04 -0500)
committerKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 17 Jun 2011 21:04:51 +0000 (16:04 -0500)
commit8cdad627c5eb70d66e5c177f87e085992afb85cc
tree4ec459bce38be92a2d2f6039eff907ac5d8cc100
parent3db6f4c76bd6412d0154b7693c1516d792486b13
added missing extension files
palacios/src/extensions/vmm_execve_hook.c [new file with mode: 0644]
palacios/src/extensions/vmm_linux_syscall_map.c [new file with mode: 0644]
palacios/src/extensions/vmm_mpi_accel.c [new file with mode: 0644]
palacios/src/extensions/vmm_process_environment.c [new file with mode: 0644]
palacios/src/extensions/vmm_syscall_hijack.c [new file with mode: 0644]