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.


fixed io_apic table index computation
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Jun 2009 22:25:42 +0000 (17:25 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 3 Jun 2009 22:25:42 +0000 (17:25 -0500)
commitc0a5974089157e1a5ea18ea443fab587c577296a
treee6c1407258fb4c45394e7498c14fd251b4b3f0d9
parentd3f9dd3b223729a81918a0df0dadf72015739c6c
fixed io_apic table index computation
palacios/src/devices/io_apic.c