Index: /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIKeyboardHandler.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIKeyboardHandler.cpp	(revision 33883)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIKeyboardHandler.cpp	(revision 33884)
@@ -937,5 +937,13 @@
         if (   (keyCode == 0xa || keyCode == 0x32)
             && KBGetLayoutType(LMGetKbdType()) == kKeyboardISO)
+        {
             keyCode = 0x3c - keyCode;
+#ifdef DEBUG
+            OSErr err = noErr;
+            SInt32 type;
+            if ((err = Gestalt(gestaltKeyboardType, &type)) == noErr)
+                LogRel(("Keyboard type %d\n", (int32_t)type));
+#endif /* DEBUG */
+        }
         unsigned scanCode = ::DarwinKeycodeToSet1Scancode(keyCode);
         if (scanCode)