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.


Replaced spurious V3_Print in apic.c with PrintDebug
authorPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 10 Nov 2011 17:54:46 +0000 (10:54 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 10 Nov 2011 17:54:46 +0000 (10:54 -0700)
commit64cc3bfb45f88a1880331093e87035a38c8f2bdb
tree805931e33d05eb389d654a4369116aa2aa846ad2
parentc4a5479be0c0cf9fc084bf26e25f7ba4c020b113
Replaced spurious V3_Print in apic.c with PrintDebug
palacios/src/devices/apic.c