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.


Converted NVRAM RTC to use timers instead of the host timer event
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Mar 2011 00:37:24 +0000 (18:37 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Mar 2011 00:37:24 +0000 (18:37 -0600)
commit7d58ea47e874cf90da52904c250f133010c5d4bb
tree7020768024f48c91f5a834e2b4be13031fb76ba8
parent14bea80332af1e5d63df6ab9fc86e449cdcb3c3a
Converted NVRAM RTC to use timers instead of the host timer event
palacios/src/devices/nvram.c