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

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
+
     }