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.


Removal of old gears code in preparation for restructuring
authorKyle Hale <kh@u.northwestern.edu>
Fri, 13 Apr 2012 21:21:24 +0000 (16:21 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 21:36:26 +0000 (16:36 -0500)
commit9d84074437acf7f519ca27e42110715b60a1992e
tree0a42cf4a84f28ea5eb1f844707dccda829b7800d
parent7819c135f4dd10dc5ce3e2c0527a0a9f9956f31b
Removal of old gears code in preparation for restructuring
palacios/include/interfaces/sw_intr.h [deleted file]
palacios/include/interfaces/syscall_hijack.h [deleted file]
palacios/src/extensions/Kconfig
palacios/src/extensions/Makefile
palacios/src/extensions/ext_execve_hook.c [deleted file]
palacios/src/extensions/ext_mpi_accel.c [deleted file]
palacios/src/extensions/ext_process_environment.c [deleted file]
palacios/src/extensions/ext_sw_intr.c [deleted file]
palacios/src/extensions/ext_syscall_hijack.c [deleted file]
palacios/src/extensions/syscall_ref.h [deleted file]