make dde_linux repository an optional one

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).
devel
Alexander Boettcher 9 years ago committed by Norman Feske
parent 5e17fef898
commit 80838831d8

@ -1,5 +1 @@
#
# Drivers ported from the Linux kernel (USB)
#
#REPOSITORIES += $(GENODE_DIR)/dde_linux

@ -1,11 +1,4 @@
#
# Drivers ported from the Linux kernel (USB)
#
# Not supported on the ARM architecture.
#
#REPOSITORIES += $(GENODE_DIR)/dde_linux
#
# Additional drivers ported from the Linux kernel (audio, Intel GEM)
#

@ -26,6 +26,11 @@
#
#REPOSITORIES += $(GENODE_DIR)/ports
#
# Ports of the Linux TCP/IP stack and Linux drivers (USB) from the Linux kernel
#
#REPOSITORIES += $(GENODE_DIR)/dde_linux
#
# High-level Genode-specific services and applications
#

Loading…
Cancel
Save