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: 96fd46f)
minor alignment change
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 16 Mar 2011 00:11:20 +0000 (19:11 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 16 Mar 2011 00:11:20 +0000 (19:11 -0500)
commit3b027df0b7bc5b102ac403411b0e9a756b7081a6
tree590ecc88f99f0a7c545bcb504c1f552d61fbb78btree | snapshot
parent96fd46fc682a12bb09782319d3a09d7d71e8a39bcommit | diff
minor alignment change
palacios/include/palacios/vmm_instr_decoder.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project