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: ae683f5)
make bitmap operations atomic, fixes potential barrier race condition
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 4 Jul 2012 22:03:15 +0000 (18:03 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 27 Jul 2012 19:07:25 +0000 (15:07 -0400)
commit7ec6a6ee7f4a472587d49ddca3a9f5b587371fd5
treeb573969dbf8307b1a0e9c10810d8c0315e22c8fdtree | snapshot
parentae683f5cbd04c361a85861998749e9fc0faba822commit | diff
make bitmap operations atomic, fixes potential barrier race condition
palacios/include/palacios/vmm_bitmap.h diff | blob | history
palacios/src/palacios/vmm_bitmap.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project