genode/repos/dde_linux/recipes/raw/drivers_interactive-rpi/content.mk

content: drivers.config fb_drv.config event_filter.config en_us.chargen special.chargen

drivers.config fb_drv.config event_filter.config:
	cp $(REP_DIR)/recipes/raw/drivers_interactive-rpi/$@ $@

en_us.chargen special.chargen:
	cp $(GENODE_DIR)/repos/os/src/server/event_filter/$@ $@
drivers_interactive-rpi: use usb host/hid driver Issue #4173 2021-05-26 08:27:21 +00:00			`content: drivers.config fb_drv.config event_filter.config en_us.chargen special.chargen`
depot: add recipe for drivers_interactive-rpi Ref #2190 2019-05-03 13:47:48 +00:00
drivers_interactive-rpi: use usb host/hid driver Issue #4173 2021-05-26 08:27:21 +00:00			`drivers.config fb_drv.config event_filter.config:`
depot: add recipe for drivers_interactive-rpi Ref #2190 2019-05-03 13:47:48 +00:00			`cp $(REP_DIR)/recipes/raw/drivers_interactive-rpi/$@ $@`
drivers_interactive-rpi: use usb host/hid driver Issue #4173 2021-05-26 08:27:21 +00:00
			`en_us.chargen special.chargen:`
			`cp $(GENODE_DIR)/repos/os/src/server/event_filter/$@ $@`