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 correct physical delivery check for apic
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 2 Mar 2011 21:46:11 +0000 (15:46 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 2 Mar 2011 21:46:11 +0000 (15:46 -0600)
commita866797999bb9910cf3c235d5fb21f97d92f886d
treed900700d7e8d06da6d7129f7354dfd44833ee0ad
parent409dc0c9238788fb438e23e26015ce1999789764
Added correct physical delivery check for apic
   delivery to apic X goes to apic whose currrent
   lapicid is X
palacios/src/devices/apic.c