--- Gnu-Mach/i386/configure	2020/09/02 04:37:53	1.1.1.2
+++ Gnu-Mach/i386/configure	2020/09/02 04:39:53	1.1.1.3
@@ -169,6 +169,10 @@ ac_help="$ac_help
 "
 ac_help="$ac_help
 "
+ac_help="$ac_help
+"
+ac_help="$ac_help
+"
 
 # Initialize some variables set by options.
 # The variables have the same names as the options, with
@@ -715,6 +719,15 @@ if test "${enable_3c503+set}" = set; the
 fi
 
 
+# Checking for alias 3c509
+# Check whether --enable-3c509 or --disable-3c509 was given.
+if test "${enable_3c509+set}" = set; then
+  enableval="$enable_3c509"
+  enable_el3="$enable_3c509"
+
+fi
+
+
 # Checking for alias 3c59x
 # Check whether --enable-3c59x or --disable-3c59x was given.
 if test "${enable_3c59x+set}" = set; then
@@ -1449,6 +1462,27 @@ fi
 
 
 
+# Checking for device driver option el3
+# Check whether --enable-el3 or --disable-el3 was given.
+if test "${enable_el3+set}" = set; then
+  enableval="$enable_el3"
+  cat >> confdefs.h <<\EOF
+#define CONFIG_EL3 1
+EOF
+
+device_drivers="$device_drivers 3c509.o"
+if test "${driver_class_net_selected+set}" != set; then
+  driver_class_net_selected=yes
+  cat >> confdefs.h <<EOF
+#define $driver_class_net_option 1
+EOF
+
+  device_drivers="$device_drivers $driver_class_net_files"
+fi
+
+fi
+
+
 # Checking for device driver option ne2000
 # Check whether --enable-ne2000 or --disable-ne2000 was given.
 if test "${enable_ne2000+set}" = set; then