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.


Split telemetry into global and per-core to avoid race printing core telemetry
authorPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 10 Nov 2011 21:18:24 +0000 (14:18 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Thu, 10 Nov 2011 21:18:24 +0000 (14:18 -0700)
commitf7e83e5d2d00ba107ccda346da4660ab523471bb
treed115de8e8346ca33cd8fa97d27de6935fe2d1ddb
parent64cc3bfb45f88a1880331093e87035a38c8f2bdb
parentd61e28b50d54153a18efa5697a2aecc2e52098bc
Split telemetry into global and per-core to avoid race printing core telemetry
palacios/include/palacios/vmm_telemetry.h
palacios/src/devices/apic.c
palacios/src/devices/keyboard.c
palacios/src/palacios/vmm_telemetry.c