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 dest_apic determination
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Mar 2011 22:55:32 +0000 (16:55 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Mar 2011 22:55:32 +0000 (16:55 -0600)
commitc63f7f7db192f57a494ed152776b8e28ce40fc48
tree097be86eee077002948340f7773cfee9b1fad901
parentc7b8465c6a056d5603e8733b280fefe6809ed738
fixed dest_apic determination
palacios/src/devices/apic.c