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.


add the virtual console input as a host event
authorLei Xia <lxia@northwestern.edu>
Wed, 10 Nov 2010 03:38:41 +0000 (21:38 -0600)
committerLei Xia <lxia@northwestern.edu>
Wed, 10 Nov 2010 03:38:41 +0000 (21:38 -0600)
commit2fb33705f951901f43a9fed966e96074fc693609
tree4296e4fc1171ebc9ef7b7e4006991df43096e2b9
parent1c02a9e03bd7758eb808c7091ccdbe95c6e5c280
add the virtual console input as a host event
clean VNET code
Kconfig
palacios/include/palacios/vmm_host_events.h
palacios/include/palacios/vmm_vnet.h
palacios/src/devices/Makefile
palacios/src/devices/lnx_virtio_vnet.c
palacios/src/devices/lnx_vnet_brg.c
palacios/src/palacios/vmm_host_events.c
palacios/src/palacios/vmm_vnet.c