From ccf6b237bbc66813dd13d98a249c931c06c40cbd Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 21 Aug 2018 14:43:18 +0200
Subject: [PATCH] chargen: keypad asterisk (*) character

---
 repos/os/src/server/input_filter/de.chargen         | 1 +
 repos/os/src/server/input_filter/de_ch.chargen      | 1 +
 repos/os/src/server/input_filter/en_us.chargen      | 1 +
 repos/os/src/server/input_filter/en_workman.chargen | 1 +
 4 files changed, 4 insertions(+)

diff --git a/repos/os/src/server/input_filter/de.chargen b/repos/os/src/server/input_filter/de.chargen
index 37e507e7e4..c72a37c4f1 100644
--- a/repos/os/src/server/input_filter/de.chargen
+++ b/repos/os/src/server/input_filter/de.chargen
@@ -68,6 +68,7 @@
 		<key name="KEY_KPDOT"      char="."/>
 		<key name="KEY_KPENTER"    ascii="10"/>
 		<key name="KEY_KPSLASH"    char="/"/>
+		<key name="KEY_KPASTERISK" char="*"/>
 	</map>
 	<map mod1="yes">
 		<key name="KEY_1"          char="!"/>
diff --git a/repos/os/src/server/input_filter/de_ch.chargen b/repos/os/src/server/input_filter/de_ch.chargen
index 3dde0318c8..b2f894c317 100644
--- a/repos/os/src/server/input_filter/de_ch.chargen
+++ b/repos/os/src/server/input_filter/de_ch.chargen
@@ -68,6 +68,7 @@
 		<key name="KEY_KPDOT"      char="."/>
 		<key name="KEY_KPENTER"    ascii="10"/>
 		<key name="KEY_KPSLASH"    char="/"/>
+		<key name="KEY_KPASTERISK" char="*"/>
 	</map>
 	<map mod1="yes">
 		<key name="KEY_1"          char="+"/>
diff --git a/repos/os/src/server/input_filter/en_us.chargen b/repos/os/src/server/input_filter/en_us.chargen
index c5caf5d1ba..28e9aab3da 100644
--- a/repos/os/src/server/input_filter/en_us.chargen
+++ b/repos/os/src/server/input_filter/en_us.chargen
@@ -67,6 +67,7 @@
 		<key name="KEY_KPDOT"      char="."/>
 		<key name="KEY_KPENTER"    ascii="10"/>
 		<key name="KEY_KPSLASH"    char="/"/>
+		<key name="KEY_KPASTERISK" char="*"/>
 	</map>
 	<map mod1="yes">
 		<key name="KEY_1"          char="!"/>
diff --git a/repos/os/src/server/input_filter/en_workman.chargen b/repos/os/src/server/input_filter/en_workman.chargen
index a7b81479c6..432b5a531d 100644
--- a/repos/os/src/server/input_filter/en_workman.chargen
+++ b/repos/os/src/server/input_filter/en_workman.chargen
@@ -67,6 +67,7 @@
 		<key name="KEY_KPDOT"      char="."/>
 		<key name="KEY_KPENTER"    ascii="10"/>
 		<key name="KEY_KPSLASH"    char="/"/>
+		<key name="KEY_KPASTERISK" char="*"/>
 	</map>
 	<map mod1="yes">
 		<key name="KEY_1"          char="!"/>