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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: df69e9f)
Gears system call hijacking core changes
authorKyle Hale <kh@u.northwestern.edu>
Fri, 13 Apr 2012 23:32:03 +0000 (18:32 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 23:32:03 +0000 (18:32 -0500)
commit1730c6edaa4ca2a0e1dfc6d0ec45c15970ed1bff
treee31fb9adfd41be7f49dae2d225a918a544653334tree | snapshot
parentdf69e9f90c11f91a7bb3ccdf4218ef61124a5442commit | diff
Gears system call hijacking core changes
palacios/src/gears/ext_syscall_hijack.c diff | blob | history
palacios/src/palacios/svm_handler.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project