From 80838831d893e69df6a7696a53427a205f158d58 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 26 Nov 2013 12:14:29 +0100 Subject: [PATCH] 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). --- tool/builddir/etc/build.conf.drivers_arm | 4 ---- tool/builddir/etc/build.conf.drivers_x86 | 7 ------- tool/builddir/etc/build.conf.optional | 5 +++++ 3 files changed, 5 insertions(+), 11 deletions(-) diff --git a/tool/builddir/etc/build.conf.drivers_arm b/tool/builddir/etc/build.conf.drivers_arm index 940e0e058..8b1378917 100644 --- a/tool/builddir/etc/build.conf.drivers_arm +++ b/tool/builddir/etc/build.conf.drivers_arm @@ -1,5 +1 @@ -# -# Drivers ported from the Linux kernel (USB) -# -#REPOSITORIES += $(GENODE_DIR)/dde_linux diff --git a/tool/builddir/etc/build.conf.drivers_x86 b/tool/builddir/etc/build.conf.drivers_x86 index e0db3ef83..60603882c 100644 --- a/tool/builddir/etc/build.conf.drivers_x86 +++ b/tool/builddir/etc/build.conf.drivers_x86 @@ -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) # diff --git a/tool/builddir/etc/build.conf.optional b/tool/builddir/etc/build.conf.optional index b3258cf74..eb6af7e88 100644 --- a/tool/builddir/etc/build.conf.optional +++ b/tool/builddir/etc/build.conf.optional @@ -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 #