Files
genode-world/run/input_normalizer.run