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.


cleaned up IPI code in apic, and added IRQ ack callback infrastructure to APIC
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 28 Feb 2012 23:32:23 +0000 (18:32 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 20 Apr 2012 16:09:20 +0000 (12:09 -0400)
commitd7e25d0643dd41dcfae2999adf697c204c11a29e
tree7b151ef28ec89abd60243e10819c24fd7f34fef4
parentdbc56446bce2b00f5a5db246abb0677a55bdbcd1
cleaned up IPI code in apic, and added IRQ ack callback infrastructure to APIC
palacios/include/devices/apic.h
palacios/src/devices/apic.c
palacios/src/devices/io_apic.c