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.


Checkpointing of serial devices
authorMadhav Suresh <madhav@u.northwestern.edu>
Wed, 26 Dec 2012 17:19:58 +0000 (11:19 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:32:46 +0000 (11:32 -0600)
commit90171715341d6bf626528feb695f1c680a91335f
tree16da5ff9fe1cc166d0fb5862b319a83ed844c82c
parent7ebb801201cc0c40f769db676e69b6e7394b08b5
Checkpointing of serial devices
palacios/src/devices/serial.c