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 minor syntax error
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 5 Oct 2010 22:30:46 +0000 (17:30 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 5 Oct 2010 22:30:46 +0000 (17:30 -0500)
commit3df3ce0563ed291efdbe800bcb9523256f87272d
tree59f2d502bcfc4ecbb8ea79d2416601af82f000bc
parente0c113197cc4f189d1e2d34ede358b7733d73e4d
Fixed minor syntax error
palacios/src/devices/apic.c