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.


possibly fixed bug in 8259 implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 18 May 2010 23:04:45 +0000 (18:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 18 May 2010 23:04:45 +0000 (18:04 -0500)
commite7f0a91063b9bd6f45de1f02a6cb6c45f7a84ebd
tree57ef7d604bf0da56f8889e478ce0f3848434f864
parent14fa18cc54571eaa7aaa0f7d55677bdb4dad81a6
possibly fixed bug in 8259 implementation
palacios/src/devices/8259a.c