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 char_stream device for virtual console input event
authorLei Xia <lxia@northwestern.edu>
Wed, 10 Nov 2010 04:27:06 +0000 (22:27 -0600)
committerLei Xia <lxia@northwestern.edu>
Wed, 10 Nov 2010 04:27:06 +0000 (22:27 -0600)
commit4a55bf2a12c7a1fe3daa7ecb1598b67acb246774
treeac63446d0d475b814c4110cf262299173fd2bc48
parent2fb33705f951901f43a9fed966e96074fc693609
Update char_stream device for virtual console input event
palacios/include/palacios/vmm_host_events.h
palacios/src/devices/char_stream.c
palacios/src/palacios/vmm_host_events.c