File ore-with-tg3.diff of Package tud-l4env

Index: l4/pkg/ore/server/defconfig
===================================================================
--- l4/pkg/ore/server/defconfig	(revision 1811)
+++ l4/pkg/ore/server/defconfig	(working copy)
@@ -7,7 +7,7 @@
 #
 # CONFIG_ORE_DDE24 is not set
 # CONFIG_ORE_PCNET32 is not set
-# CONFIG_ORE_TIGON3 is not set
+CONFIG_ORE_TIGON3=y
 # CONFIG_ORE_EEPRO100 is not set
 CONFIG_ORE_E1000=y
 # CONFIG_ORE_NE2000 is not set