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.


Detailed segmentation output from v3_debug
[palacios.git] / palacios / include / palacios / vmm_host_events.h
index 21d4c01..d2fb211 100644 (file)
 
 
 struct v3_keyboard_event {
+    // A keyboard event is a PS/2 scancode and status reg
     unsigned char status;
     unsigned char scan_code;
 };
 
 struct v3_mouse_event {
-    unsigned char data[3];
+    // A mouse event is a PS/2 mouse packet
+    unsigned char sx;      // sign bit for deltax
+    unsigned char dx;      // deltax
+    unsigned char sy;      // sign bit for deltay
+    unsigned char dy;      // deltay
+    unsigned char buttons; // button state
 };
 
 struct v3_timer_event {