diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index 8534a43660..fda277c595 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -110,6 +110,7 @@ install_config { + @@ -469,7 +470,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 de_ch.chargen special.chargen } { +foreach file { fr.chargen 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/fr.chargen b/repos/os/src/server/input_filter/fr.chargen new file mode 100755 index 0000000000..eb33c09d9b --- /dev/null +++ b/repos/os/src/server/input_filter/fr.chargen @@ -0,0 +1,183 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +