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.


Minor bug fix
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 6 Mar 2014 19:33:35 +0000 (13:33 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 6 Mar 2014 19:33:35 +0000 (13:33 -0600)
commit0cfff557ab0e411afa26850f502d39c6026cb355
treea5b68df920ffacbe6c41bf4b2d472f8a22352204
parent28ebc3ae749c8d48cc9bd02e3cd3c76ec30db528
Minor bug fix
palacios/src/devices/hpet.c