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.


applied syscall patch
authorKyle Hale <kh@u.northwestern.edu>
Tue, 21 Jun 2011 02:05:25 +0000 (21:05 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 01:18:36 +0000 (20:18 -0500)
commitc6f4b5914c925ae8edc4b2b24b8d89d019dcf0dd
treeb6595eb4d64defdba4234ff7ebc24b3d09a3fdca
parenta933c1b941159422074263500ce93b7c9b2e217a
applied syscall patch
palacios/src/extensions/Kconfig
palacios/src/extensions/Makefile
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]