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: 4a7e284)
Add lock to vmm_queue
authorLei Xia <lxia@northwestern.edu>
Mon, 15 Feb 2010 05:49:01 +0000 (23:49 -0600)
committerLei Xia <lxia@northwestern.edu>
Mon, 15 Feb 2010 05:49:01 +0000 (23:49 -0600)
commit3dfea481dc48776d8e3a9a2f36527dbe37f454c4
treeba2f16ab8a7ac617248db53f1feffdbc7476e6b3tree | snapshot
parent4a7e284362662dd76319c4d5843deb28fba82ba0commit | diff
Add lock to vmm_queue
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