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: 57d7377)
moved syscall reference to header file
authorKyle Hale <kh@u.northwestern.edu>
Thu, 23 Jun 2011 00:13:05 +0000 (19:13 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 01:18:37 +0000 (20:18 -0500)
commit8c9612241905ae3df73f663f82a5d36a9597f252
tree4d503ea8f75b41ab4241a7fc77b9e52547f13c25tree | snapshot
parent57d73771eca20238eff66a02c85659287a7d6b89commit | diff
moved syscall reference to header file
palacios/src/extensions/syscall_ref.h [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project