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.


Revised mouse-related host events, graphics console, and userland support; mouse...
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 12 Apr 2013 23:03:17 +0000 (18:03 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 12 Apr 2013 23:03:17 +0000 (18:03 -0500)
commit33e6f079afd41e2897ee382886c46ce12f374729
tree7e50686dd3d64464ee68fa05454a69f8454da4fe
parentcafc7daf7fdbd6c7989cac277bdaae284275e32f
Revised mouse-related host events, graphics console, and userland support; mouse packet generation
linux_module/iface-graphics-console.c
linux_module/iface-graphics-console.h
linux_usr/v3_fb.c
linux_usr/v3_fb.h
palacios/include/palacios/vmm_host_events.h
palacios/src/devices/keyboard.c