diff -r 0846af24f1dd -r 3edb8f45bdc1 configure.ac
--- a/configure.ac	Wed Feb 14 17:24:22 2007 +0000
+++ b/configure.ac	Wed Feb 14 17:26:25 2007 +0000
@@ -109,6 +109,38 @@
 AC_MSG_RESULT([$kernel8139too])
 
 #------------------------------------------------------------------------------
+# e100 Kernel
+#------------------------------------------------------------------------------
+
+AC_ARG_WITH([e100-kernel],
+    AC_HELP_STRING(
+        [--with-e100-kernel=<X.Y.Z>],
+        [e100 kernel (only if differing)]
+    ),
+    [
+        kernele100=[$withval]
+    ],
+    [
+        kernele100=$linuxversion
+    ]
+)
+
+AC_MSG_CHECKING([for kernel for e100 driver])
+
+kernels=`ls -1 devices/ | grep -oE "^e100-.*-" | cut -d "-" -f 2 | uniq`
+found=0
+for k in $kernels; do
+    if test "$kernele100" = "$k"; then
+        found=1
+    fi
+done
+if test $found -ne 1; then
+    AC_MSG_ERROR([kernel $kernele100 not available for e100 driver!])
+fi
+
+AC_MSG_RESULT([$kernele100])
+
+#------------------------------------------------------------------------------
 # RTAI path (optional)
 #------------------------------------------------------------------------------
 
@@ -200,6 +232,7 @@
 # config.kbuild - created by configure
 EC_DBG_IF := ${dbg}
 EC_8139TOO_KERNEL := ${kernel8139too}
+EC_E100_KERNEL := ${kernele100}
 EC_RTAI_DIR := "${rtaidir}"
 EC_MSR_DIR := "${msrdir}"
 EOF