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.
11 lines
318 B
Makefile
11 lines
318 B
Makefile
content: drivers.config fb_drv.config input_filter.config en_us.chargen
|
|
|
|
drivers.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:
|
|
cp $(GENODE_DIR)/repos/os/src/server/input_filter/$@ $@
|