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: b90e337)
improved debugging output
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:46:01 +0000 (16:46 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:46:01 +0000 (16:46 -0500)
commitef902a0d61b3b7a9746106b2d8a1d7a2516f4bc7
treedf36e3de896c12c3bdb5f7098e009a55f0254af0tree | snapshot
parentb90e3373d07b92968b28aef77f4dc68e6a264f12commit | diff
improved debugging output
palacios/src/devices/apic.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project