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.


Update to virtio console for new stream interface
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 2 Aug 2013 21:08:19 +0000 (16:08 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 2 Aug 2013 21:41:02 +0000 (16:41 -0500)
commit07633e013ebc65d2680f0023b90094d9c3880186
tree4e5fba2e18b4722d58e69ce4c90f55b8464cefb3
parentd57f8d9bfe308d853e37f0eebd3fe58f04d8739b
Update to virtio console for new stream interface
palacios/src/devices/lnx_virtio_console.c