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.


More nvram cleanup
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Mar 2011 16:34:40 +0000 (10:34 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Mar 2011 16:34:40 +0000 (10:34 -0600)
commit1bd025c8e158b2b5f4c8e8ccf1bcf8d702dde037
tree1887527a0914978069b5151a67fe20ec9adcea04
parent0199a2842f2d182d240eec0f81e6fe6e5ee3300a
More nvram cleanup
palacios/src/devices/nvram.c