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.


added irq queueing to APIC
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 16 May 2011 22:31:54 +0000 (17:31 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 16 May 2011 22:31:54 +0000 (17:31 -0500)
commit7451192e943534bd52f3f61dae1d7e9ec4317b30
tree896638aac511edf19aa8a397496f74dc57ddbed7
parent0e3a7655e9bf22eab05696605072bc051aeeb1ad
added irq queueing to APIC
palacios/src/devices/apic.c
palacios/src/palacios/vmm_queue.c