80838831d8
Since dde_linux now contains the port of the Linux IP stack available for all Genode base-* platforms move the repository out of drivers_arm and drivers_x86 build.conf to the optional build.conf (available to all platforms).
20 lines
357 B
Plaintext
20 lines
357 B
Plaintext
|
|
#
|
|
# Additional drivers ported from the Linux kernel (audio, Intel GEM)
|
|
#
|
|
# Not supported on the ARM architecture.
|
|
#
|
|
# This repository is deprecated.
|
|
#
|
|
#REPOSITORIES += $(GENODE_DIR)/linux_drivers
|
|
|
|
#
|
|
# Drivers ported from the Open Sound System
|
|
#
|
|
#REPOSITORIES += $(GENODE_DIR)/dde_oss
|
|
|
|
#
|
|
# Drivers ported from iPXE
|
|
#
|
|
#REPOSITORIES += $(GENODE_DIR)/dde_ipxe
|