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: 83bd28a)
This patch fixes a compiler warning for me (compiling on 32-bits).
authorErik van der Kouwe <erikvdk@gmail.com>
Sat, 12 Mar 2011 07:46:34 +0000 (01:46 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Sat, 12 Mar 2011 07:46:34 +0000 (01:46 -0600)
commit25ee48a048fa16a385d909176df04cff80263d32
tree9efe84da0b280d10fc463a841682ef71d231c4betree | snapshot
parent83bd28a67ecaaa7dfd9db4c459485cf8af07d4a5commit | diff
This patch fixes a compiler warning for me (compiling on 32-bits).
palacios/src/palacios/vmm_decoder.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project