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.


Minor changes to make icc_bus.c compile without debugging on
authorPatrick Bridges <pgbridg@s912931.sandia.gov>
Thu, 29 Jul 2010 16:13:18 +0000 (10:13 -0600)
committerPatrick Bridges <pgbridg@s912931.sandia.gov>
Thu, 29 Jul 2010 16:13:18 +0000 (10:13 -0600)
commitffbf24d4dcf75a7a90405d72767187f29f624317
tree557755e30af0d42a9b5383cb577598db479f3584
parentfb07d68f106299921c46eaa5e609187cafad9919
Minor changes to make icc_bus.c compile without debugging on
palacios/src/devices/icc_bus.c