mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
0011dd1623
Fixes #2757
12 lines
403 B
Makefile
12 lines
403 B
Makefile
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/$@ $@
|