======= WINDOWS =========

Received: 58
ps2_put_keycode 88
New IRQ state: 1
Received: 186
ps2_put_keycode 240
ps2_put_keycode 88
Translated to: 186
New IRQ state: 1
KBD: kbd: read status=0x1d
KBD: kbd: read status=0x1d
New IRQ state: 0
New IRQ state: 1
KBD: kbd: read data=0x3a
KBD: kbd: read status=0x1d
KBD: kbd: read status=0x1d
New IRQ state: 0
New IRQ state: 0
KBD: kbd: read data=0xba
KBD: kbd: read status=0x1c
KBD: kbd: write data=0xed
Command -1/237
New IRQ state: 1
KBD: kbd: read status=0x1d
KBD: kbd: read status=0x1d
New IRQ state: 0
New IRQ state: 0
KBD: kbd: read data=0xfa
KBD: kbd: read status=0x1c
KBD: kbd: write data=0x04
Command 4
ps2_set_ledstate
kbd_put_ledstate: 4
New ledstate: 4
Effective new ledstate: 4
New IRQ state: 1
KBD: kbd: read status=0x1d
KBD: kbd: read status=0x1d
New IRQ state: 0
New IRQ state: 0
KBD: kbd: read data=0xfa


====== Linux TTY ======

Received: 58
ps2_put_keycode 88
New IRQ state: 1
Received: 186
ps2_put_keycode 240
ps2_put_keycode 88
Translated to: 186
New IRQ state: 1
KBD: kbd: read status=0x1d
New IRQ state: 0
New IRQ state: 1
KBD: kbd: read data=0x3a
KBD: kbd: read status=0x1d
New IRQ state: 0
New IRQ state: 0
KBD: kbd: read data=0xba