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.


Fix interrupt injection bug due to caching irq vectors after vector mappings have...
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Feb 2010 01:24:34 +0000 (19:24 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Feb 2010 01:24:34 +0000 (19:24 -0600)
commit48aeb8816a1633ab97dd145289d5d0acd75387bb
tree8ea495d42fe73353b3e9f1fe8ad3e5bf7d95fa3f
parentb6009b57bf04b714693cd2f0c5e1b4dd59281253
Fix interrupt injection bug due to caching irq vectors after vector mappings have changed
palacios/include/palacios/vmm_intr.h
palacios/src/devices/8259a.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_intr.c