From 21ca7be235ef7107c7ff06451d0dfc61ae7b9bfb Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 14 Aug 2018 16:42:49 +0200
Subject: [PATCH] drivers managed: fix numlock handling

Now, numlock=true means report keypad digits and numlock=false means
report Home, End, etc.
---
 .../drivers_managed-pc/numlock_remap.config   | 23 ++++++++++---------
 1 file changed, 12 insertions(+), 11 deletions(-)

diff --git a/repos/gems/recipes/raw/drivers_managed-pc/numlock_remap.config b/repos/gems/recipes/raw/drivers_managed-pc/numlock_remap.config
index 063556219..d8d6e904f 100644
--- a/repos/gems/recipes/raw/drivers_managed-pc/numlock_remap.config
+++ b/repos/gems/recipes/raw/drivers_managed-pc/numlock_remap.config
@@ -4,19 +4,20 @@
 
 	<output node="remap">
 		<if>
-			<has_value input="numlock_enabled" value="yes" />
+			<has_value input="numlock_enabled" value="no"/>
 			<then>
 				<inline>
-					<key name="KEY_KP0"     to="KEY_INSERT"/>
-					<key name="KEY_KP1"     to="KEY_END"/>
-					<key name="KEY_KP2"     to="KEY_DOWN"/>
-					<key name="KEY_KP3"     to="KEY_PAGEDOWN"/>
-					<key name="KEY_KP4"     to="KEY_LEFT"/>
-					<key name="KEY_KP6"     to="KEY_RIGHT"/>
-					<key name="KEY_KP7"     to="KEY_HOME"/>
-					<key name="KEY_KP8"     to="KEY_UP"/>
-					<key name="KEY_KP9"     to="KEY_PAGEUP"/>
-					<key name="KEY_KPCOMMA" to="KEY_DELETE"/>
+					<key name="KEY_KP0"   to="KEY_INSERT"/>
+					<key name="KEY_KP1"   to="KEY_END"/>
+					<key name="KEY_KP2"   to="KEY_DOWN"/>
+					<key name="KEY_KP3"   to="KEY_PAGEDOWN"/>
+					<key name="KEY_KP4"   to="KEY_LEFT"/>
+					<key name="KEY_KP5"   to="KEY_UNKNOWN"/>
+					<key name="KEY_KP6"   to="KEY_RIGHT"/>
+					<key name="KEY_KP7"   to="KEY_HOME"/>
+					<key name="KEY_KP8"   to="KEY_UP"/>
+					<key name="KEY_KP9"   to="KEY_PAGEUP"/>
+					<key name="KEY_KPDOT" to="KEY_DELETE"/>
 				</inline>
 			</then>
 		</if>