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: 94c7ee0)
queue updates
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 20 Apr 2011 03:20:49 +0000 (22:20 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 20 Apr 2011 03:20:49 +0000 (22:20 -0500)
commit43cf194456fcf1cc7bf4850aa0200a50e7a27920
tree8c5da29af3be37fb6cc87bb7cbfd4694b1e0093dtree | snapshot
parent94c7ee057b065f64a3e2faa3df3150f72c99260bcommit | diff
queue updates
palacios/include/palacios/vmm_queue.h diff | blob | history
palacios/src/palacios/vmm_queue.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project