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.


Removed spurious print
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Nov 2011 17:56:21 +0000 (10:56 -0700)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Nov 2011 17:56:21 +0000 (10:56 -0700)
commitd61e28b50d54153a18efa5697a2aecc2e52098bc
treef09fbec900a6f295b05527da3b31c134a0a1fec1
parent9ee97b3c6e193a59660973da0ec5ed7a743931e4
Removed spurious print
palacios/src/devices/apic.c