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: 99c8bed)
some format fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Oct 2010 22:31:48 +0000 (17:31 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 5 Oct 2010 22:31:48 +0000 (17:31 -0500)
commit4482ea8c44c9102cf47de4bf8bc9cfef7400097c
tree00fc8c5e7c19387268d151508a18748c3624751ctree | snapshot
parent99c8bed98abf75955e09ce1af868f7bf16c9406ccommit | diff
some format fixes
palacios/src/devices/icc_bus.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project