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.


added error check to 8259
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 27 Jul 2012 19:06:45 +0000 (15:06 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 27 Jul 2012 19:07:26 +0000 (15:07 -0400)
commita6c6130621519b97fb8f707001ff23595cc8e605
tree8f520518b77185c826164f862a598e6bcc6f6464
parent5ce19b21aac351221fe41e95e717127bfec0c467
added error check to 8259
palacios/src/devices/8259a.c