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 debugging print changes/fixups
authorPatrick G. Bridges <pgbridg@sandia.gov>
Wed, 10 Nov 2010 15:57:14 +0000 (08:57 -0700)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Wed, 10 Nov 2010 15:57:14 +0000 (08:57 -0700)
commit3a0ee76fe3accce60ae161615cadc6e56cac008b
tree04a6f893a0f09e6d2e3bd138400fdc11a7e742fc
parent4a55bf2a12c7a1fe3daa7ecb1598b67acb246774
Minor debugging print changes/fixups
palacios/src/devices/apic.c
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_util.c