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.


Context-based output infrastructure (V3_Print, etc) and modifications to use it
[palacios.git] / linux_module / iface-graphics-console.c
index ec965fd..d47819c 100644 (file)
@@ -254,7 +254,7 @@ static int palacios_graphics_console_key(struct v3_guest * guest,
                                         struct palacios_graphics_console *cons, 
                                         uint8_t scancode)
 {
-    struct v3_keyboard_event e;
+     struct v3_keyboard_event e;
     e.status = 0;
     e.scan_code = scancode;
 
@@ -271,11 +271,12 @@ static int palacios_graphics_console_mouse(struct v3_guest * guest,
                                           struct palacios_graphics_console *cons, 
                                           uint8_t x, uint8_t y, uint8_t buttons)
 {
+  /*
     struct v3_mouse_event e;
     e.data[0]=x;
     e.data[1]=y;
     e.data[2]=buttons;   // These three are completely wrong, of course - ignoring mouse for now
-
+  */
     // mouse delivery is broken, so don't do it.
     // v3_deliver_mouse_event(guest->v3_ctx,&e);