From bce58726f35a97ad150e129160c611d6f7ca7417 Mon Sep 17 00:00:00 2001
From: Gabe Black <gabeblack@google.com>
Date: Wed, 3 Dec 2014 03:06:03 -0800
Subject: [PATCH] dev: Support translating left and right ALT keys.

This is used primarily for VNC.
---
 src/dev/ps2.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/dev/ps2.cc b/src/dev/ps2.cc
index dbcdfcaec..0d973ad70 100644
--- a/src/dev/ps2.cc
+++ b/src/dev/ps2.cc
@@ -174,6 +174,13 @@ keySymToPs2(uint32_t key, bool down, bool &cur_shift,
                 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;