# Node ID 22cf82509e554de3af105d0947a3856728c8b448
# Parent  438ffd21b5f13a61902e03bdbf18e50e368fa013
diff --git a/src/dev/ps2.cc b/src/dev/ps2.cc
--- a/src/dev/ps2.cc
+++ b/src/dev/ps2.cc
@@ -174,6 +174,13 @@
                 extended = true;
                 keys.push_back(0x14);
                 break;
+             case XK_Alt_L:
+                keys.push_back(0x11);
+                break;
+             case XK_Alt_R:
+                extended = true;
+                keys.push_back(0x11);
+                break;
              default:
                warn("Unknown extended key %#x\n", key);
                return;