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.


modified interrupt interface to pass guest_info pointer
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Sep 2009 18:24:57 +0000 (13:24 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Sep 2009 18:24:57 +0000 (13:24 -0500)
commit19b2e4b4ce85ae4e683a3ede33360bdf7547b069
treeed5f5c207d589992fdadf1f5d3ee75b3b92ea857
parentcfcceed5890430afedcc544bd7dbb69e29dfd65a
modified interrupt interface to pass guest_info pointer
palacios/include/devices/apic.h
palacios/include/palacios/vmm_intr.h
palacios/src/devices/8259a.c
palacios/src/devices/apic.c
palacios/src/devices/io_apic.c
palacios/src/palacios/vmm_intr.c