genode/repos/gems/recipes/raw/drivers_managed-pc/content.mk

content: drivers.config fb_drv.config input_filter.config en_us.chargen \
         special.chargen numlock_remap.config

drivers.config numlock_remap.config:
	cp $(REP_DIR)/recipes/raw/drivers_managed-pc/$@ $@

fb_drv.config input_filter.config:
	cp $(GENODE_DIR)/repos/os/recipes/raw/drivers_interactive-pc/$@ $@

en_us.chargen special.chargen:
	cp $(GENODE_DIR)/repos/os/src/server/input_filter/$@ $@
driver_manager-pc: numlock handling This patch incorporates key remapping rules for the input filter that depend on the global numlock state. 2017-11-20 20:28:18 +00:00			`content: drivers.config fb_drv.config input_filter.config en_us.chargen \`
terminal: remove built-in keyboard layout handling Fixes #2757 2018-04-11 12:40:21 +00:00			`special.chargen numlock_remap.config`
gems: driver-manager subsystem for PC platforms This is a drivers subsystem that starts the most fundamental (framebuffer, input, block) device drivers dynamically, depending on the runtime-detected devices. The discovered block devices are reported as a "block_devices" report. 2017-06-30 11:30:37 +00:00
driver_manager-pc: numlock handling This patch incorporates key remapping rules for the input filter that depend on the global numlock state. 2017-11-20 20:28:18 +00:00			`drivers.config numlock_remap.config:`
gems: driver-manager subsystem for PC platforms This is a drivers subsystem that starts the most fundamental (framebuffer, input, block) device drivers dynamically, depending on the runtime-detected devices. The discovered block devices are reported as a "block_devices" report. 2017-06-30 11:30:37 +00:00			`cp $(REP_DIR)/recipes/raw/drivers_managed-pc/$@ $@`

			`fb_drv.config input_filter.config:`
			`cp $(GENODE_DIR)/repos/os/recipes/raw/drivers_interactive-pc/$@ $@`

terminal: remove built-in keyboard layout handling Fixes #2757 2018-04-11 12:40:21 +00:00			`en_us.chargen special.chargen:`
gems: driver-manager subsystem for PC platforms This is a drivers subsystem that starts the most fundamental (framebuffer, input, block) device drivers dynamically, depending on the runtime-detected devices. The discovered block devices are reported as a "block_devices" report. 2017-06-30 11:30:37 +00:00			`cp $(GENODE_DIR)/repos/os/src/server/input_filter/$@ $@`