X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=eb76cc920bea5a01e28643d9d8372d78fcda14b1;hp=a6ba864002331eea1d115f45f6fc640b6fb171f8;hb=0121a4503305424096e2b5c5bd3b6c3af2d813e5;hpb=cfcc5717f659b3ed2954f41cf363d3bceae8dc84

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index a6ba864..eb76cc9 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -317,6 +317,7 @@ static int pull_from_output_queue(struct vm_device * dev, uint8_t * value) {
 }
 
 
+#include <palacios/vmm_telemetry.h>
 
 
 static int key_event_handler(struct guest_info * info, 
@@ -347,11 +348,14 @@ static int key_event_handler(struct guest_info * info,
 
     } 
 #endif
-    else if (evt->scan_code == 0x42) { // F8 Sym test2
+    else if (evt->scan_code == 0x42) { // F8 debug toggle
 	extern int v3_dbg_enable;
 	
 	PrintDebug("Toggling Debugging\n");	
 	v3_dbg_enable ^= 1;
+    } else if (evt->scan_code == 0x41) { // F7 telemetry dump
+	v3_print_telemetry(info);
+	
     }