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.


fixes to get it to work in linux,
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Mar 2009 01:21:15 +0000 (19:21 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Mar 2009 01:21:15 +0000 (19:21 -0600)
commit6ba597e93de8a1511d3be40066ae5082b9dbeb70
tree6178da8502d565a7ae078292c6ac01cde6e4a4a1
parentc21368a9d7fc7e325cdcf0f02773c45ee55ce07d
fixes to get it to work in linux,
the queuing system is still incorrect....
palacios/src/devices/keyboard.c