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: ba59755)
removed locking because it was broken.
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 1 Mar 2011 00:37:08 +0000 (18:37 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 1 Mar 2011 02:31:19 +0000 (20:31 -0600)
commitbba68c448a941e0beb562f670f1a5901e5d07a54
treef747569419329e0eea21c2a82594ab2737e30f2etree | snapshot
parentba5975589e8ba5845b4e0ede1397e02cc768369acommit | diff
removed locking because it was broken.
palacios/src/devices/apic.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project