From 9039bd58bd11388f9876cf0b068ed396ab15c8aa Mon Sep 17 00:00:00 2001 From: Sid Hussmann Date: Wed, 20 Jun 2018 10:59:16 +0200 Subject: [PATCH] input_filter: add chargen for de_ch keyboard layout Resolves #2883 --- repos/gems/run/sculpt.run | 3 +- .../os/src/server/input_filter/de_ch.chargen | 167 ++++++++++++++++++ 2 files changed, 169 insertions(+), 1 deletion(-) create mode 100644 repos/os/src/server/input_filter/de_ch.chargen diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index a152d70929..ff1cfeb35d 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -104,6 +104,7 @@ install_config { + } [config_system_content] { @@ -452,7 +453,7 @@ file copy -force [genode_dir]/repos/gems/run/sculpt/machine.vbox [run_dir]/genod file copy -force [genode_dir]/repos/gems/recipes/raw/drivers_managed-pc/drivers.config \ [run_dir]/genode/drivers.config -foreach file { en_us.chargen de.chargen special.chargen } { +foreach file { en_us.chargen de.chargen de_ch.chargen special.chargen } { file copy -force [genode_dir]/repos/os/src/server/input_filter/$file \ [run_dir]/genode/$file } diff --git a/repos/os/src/server/input_filter/de_ch.chargen b/repos/os/src/server/input_filter/de_ch.chargen new file mode 100644 index 0000000000..3dde0318c8 --- /dev/null +++ b/repos/os/src/server/input_filter/de_ch.chargen @@ -0,0 +1,167 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +