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.


Handle NMI-disabled write to NVRAM address register
authorAlexander Kudryavtsev <alexk@ispras.ru>
Fri, 17 Feb 2012 20:29:24 +0000 (14:29 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Feb 2012 20:29:24 +0000 (14:29 -0600)
commit74d89993a0fba5377a154615b853e44b24c3c945
tree940c5c76890710e245c4f8173a1d7eba7d098746
parentb6731d8c63a50ae8083edb56a9a726957910ec64
Handle NMI-disabled write to NVRAM address register
palacios/src/devices/nvram.c