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.


reverted syscall changes
authorJack Lange <jacklange@cs.pitt.edu>
Sat, 18 Jun 2011 16:07:08 +0000 (12:07 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Sat, 18 Jun 2011 16:07:08 +0000 (12:07 -0400)
commit382829fe58cb541af371547325c5502e37032ecd
tree91219d167a54525ae30d74920589f7de3ced51ed
parent1f9fa9cd9662a600f49a3b12fcc02fd2ffca93c8
reverted syscall changes
29 files changed:
Kconfig
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vm_guest_mem.h
palacios/include/palacios/vmm_ctrl_regs.h
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_execve_hook.h [deleted file]
palacios/include/palacios/vmm_instr_decoder.h
palacios/include/palacios/vmm_intr.h
palacios/include/palacios/vmm_linux_syscall_map.h [deleted file]
palacios/include/palacios/vmm_mpi_accel.h [deleted file]
palacios/include/palacios/vmm_process_environment.h [deleted file]
palacios/include/palacios/vmm_syscall_hijack.h [deleted file]
palacios/src/extensions/Kconfig
palacios/src/extensions/Makefile
palacios/src/extensions/vmm_execve_hook.c [deleted file]
palacios/src/extensions/vmm_linux_syscall_map.c [deleted file]
palacios/src/extensions/vmm_mpi_accel.c [deleted file]
palacios/src/extensions/vmm_process_environment.c [deleted file]
palacios/src/extensions/vmm_syscall_hijack.c [deleted file]
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_decoder.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_v3dec.c
palacios/src/palacios/vmm_xed.c