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 20:35:47 +0000 (14:35 -0600)
commit888c2dd8a3914f9a08e2b0e006ff96c5cc5cd792
treed69bc9d75aa22d5d77a1cdd650e80ff64000e790
parent9bc5c1ff326aa6ac111e1d3824c93770391aef23
Fix interrupt injection bug due to caching irq vectors after vector mappings have changed
back port of irq fix
palacios/include/palacios/vmm_intr.h
palacios/src/devices/8259a.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_intr.c