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.


Fix to the time period calculation
authorLei Xia <lxia@northwestern.edu>
Thu, 14 Apr 2011 17:20:34 +0000 (12:20 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 14 Apr 2011 17:20:34 +0000 (12:20 -0500)
commit5070a2b7685d1fe39072e3d503d07ffb29b3d5b5
tree2fc0166f643ec2656d94dab1f5962940d1c20132
parent3aa43c8aeb9750675238aa33db37c771d815a706
Fix to the time period calculation
palacios/src/devices/nvram.c