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 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +