genode/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config
2017-10-05 17:40:02 +02:00

24 lines
484 B
Plaintext

<config>
<input label="ps2"/>
<input label="usb"/>
<output>
<chargen>
<merge>
<input name="ps2"/>
<input name="usb"/>
</merge>
<mod1>
<key name="KEY_LEFTSHIFT"/> <key name="KEY_RIGHTSHIFT"/>
</mod1>
<mod2>
<key name="KEY_LEFTCTRL"/> <key name="KEY_RIGHTCTRL"/>
</mod2>
<mod3>
<key name="KEY_RIGHTALT"/> <!-- AltGr -->
</mod3>
<repeat delay_ms="230" rate_ms="90"/>
<include rom="en_us.chargen"/>
</chargen>
</output>
</config>