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.


bug fix for console scroll signedness issue
authorErik van der Kouwe <erikvdk@gmail.com>
Fri, 9 Apr 2010 17:33:30 +0000 (12:33 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 9 Apr 2010 17:33:30 +0000 (12:33 -0500)
commitfd48a66236f8d8f7bf081432e14c7ae1e8320940
tree9b783101175805353d11e984efe2cc8d5317cbe6
parent1cd3b14a43f9c550a74c25dff43177e55192ceb1
bug fix for console scroll signedness issue
palacios/include/devices/console.h
palacios/src/devices/telnet_cons.c