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 command register handler bug
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 17 Mar 2009 20:00:15 +0000 (15:00 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 17 Mar 2009 20:00:15 +0000 (15:00 -0500)
commit3412245c776566ff54b42d0a550a77e00f398280
treef2a1cc7970b89add6e34bb520530e561e7949211
parentcad2a42f98571ec27228d6e20f5d76910dc0e4a0
fixed command register handler bug
palacios/src/devices/apic.c