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 console host event
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:50:36 +0000 (13:50 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:50:36 +0000 (13:50 -0600)
commit1d68e58eef2fbd003616e587ef9a2e5b9a0c9949
tree848da2f4a736e0f7a4cdabdef909e143d27fc4d4
parent778f42967e678d533cb7569dffb1cf60862b8a8c
added console host event
palacios/src/devices/curses_cons.c