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 support for multiple interrupt controllers
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 13 Feb 2009 22:23:12 +0000 (16:23 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 13 Feb 2009 22:53:48 +0000 (16:53 -0600)
commit7bb4a918835892e9071ffbdef1ea8e57f9a12950
tree8689963fc03fc7e3d296fb8a45cd55bbfde9206a
parente92ee3df43ad8bb603acce2832a67cc2eea794c0
added support for multiple interrupt controllers
palacios/include/palacios/vmm_intr.h
palacios/src/devices/8259a.c
palacios/src/devices/apic.c
palacios/src/devices/simple_pic.c
palacios/src/palacios/vmm_intr.c