Thanks
---
Greg Montgomery / gregm at cc.gatech.edu
Remove the _spam_bites from my email to reply
PGP key at http://www.cc.gatech.edu/people/home/gregm
1. Install an interrupt handler via VPICD_Virtualize_IRQ.
2. Enable interrupts on your device (by writing to some kind of control
register, usually).
3. Enable the IRQ at the PIC by calling VPICD_Unmask_IRQ.
4. Do whatever it is you need to do to get your device to interrupt: send
it a buffer's worth of data, etc. etc.