diff --git a/src/device/keyboard_xt.c b/src/device/keyboard_xt.c
index 2d0ef9f5e..69720d9b1 100644
--- a/src/device/keyboard_xt.c
+++ b/src/device/keyboard_xt.c
@@ -717,7 +717,6 @@ kbd_init(const device_t *info)
     kbd_reset(kbd);
     kbd->type = info->local;
     if (kbd->type == KBD_TYPE_PRAVETZ) {
-        pclog("Pravetz keyboard!\n");
         io_sethandler(0x00c0, 16,
                       kbd_read, NULL, NULL, kbd_write, NULL, NULL, kbd);
     }