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

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index eb76cc9..94cd7f3 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -354,8 +354,10 @@ static int key_event_handler(struct guest_info * info,
 	PrintDebug("Toggling Debugging\n");	
 	v3_dbg_enable ^= 1;
     } else if (evt->scan_code == 0x41) { // F7 telemetry dump
-	v3_print_telemetry(info);
-	
+#ifdef CONFIG_TELEMETRY
+    v3_print_telemetry(info);
+#endif // CONFIG_TELEMTRY
+
     }