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.


cosmetic changes
authorKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 3 Jun 2011 17:07:41 +0000 (12:07 -0500)
committerKyle Hale <kch479@newbehemoth.cs.northwestern.edu>
Fri, 3 Jun 2011 17:07:41 +0000 (12:07 -0500)
commit0fedb532c5ca028b24b49fb370763006cbc9de51
tree2166c33c2f4dc3734b2c8c44ad85ff26497eccd5
parent95183ed0c20c9280fb109b668033c42e0b8e3d22
cosmetic changes
palacios/include/palacios/vmm_execve_hook.h
palacios/include/palacios/vmm_linux_syscall_map.h
palacios/include/palacios/vmm_process_environment.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_syscall_hijack.c