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: fd1de83)
linux userspace hypercall addition utility + Makefile updates
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 22:00:18 +0000 (17:00 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 22:00:18 +0000 (17:00 -0500)
commit67f99136a8d412f865f68b16f6875fe3969ce900
tree361ba400c5ecaf14eb933b31ef06890a6223c4d8tree | snapshot
parentfd1de839d257d3ed2f0a8f27d231432b166b2cc1commit | diff
linux userspace hypercall addition utility + Makefile updates
linux_usr/Makefile diff | blob | history
linux_usr/v3_hypercall.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project