diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index f202ab10c0b3..cfc3c53bd163 100644
--- a/sys/conf/NOTES
+++ b/sys/conf/NOTES
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.250 1996/04/22 19:40:25 nate Exp $
+#	$Id: LINT,v 1.251 1996/04/26 06:44:45 sos Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -864,6 +864,5 @@ options		POWERFAIL_NMI	# make it beep instead of panicing
 options		DEBUG
 options		"EXT2FS"
 options		"IBCS2"
-options		LINUX
 options		"SCSI_2_DEF"
 options		SHOW_BUSYBUFS	# List buffers that prevent root unmount
diff --git a/sys/conf/options.i386 b/sys/conf/options.i386
index d2b5ee6ea371..a5b011b91141 100644
--- a/sys/conf/options.i386
+++ b/sys/conf/options.i386
@@ -1,4 +1,4 @@
-#	$Id: options.i386,v 1.10 1996/04/13 16:50:23 bde Exp $
+#	$Id: options.i386,v 1.11 1996/04/26 06:44:46 sos Exp $
 BOUNCEPAGES		opt_bounce.h
 USER_LDT
 MATH_EMULATE		opt_math_emulate.h
@@ -8,7 +8,6 @@ SHOW_BUSYBUFS		opt_machdep.h
 PANIC_REBOOT_WAIT_TIME	opt_machdep.h
 LARGEMEM		opt_machdep.h
 MAXMEM			opt_machdep.h
-LINUX			opt_linux.h
 PERFMON			opt_perfmon.h
 AUTO_EOI_1		opt_auto_eoi.h
 AUTO_EOI_2		opt_auto_eoi.h
diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT
index f202ab10c0b3..cfc3c53bd163 100644
--- a/sys/i386/conf/LINT
+++ b/sys/i386/conf/LINT
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.250 1996/04/22 19:40:25 nate Exp $
+#	$Id: LINT,v 1.251 1996/04/26 06:44:45 sos Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -864,6 +864,5 @@ options		POWERFAIL_NMI	# make it beep instead of panicing
 options		DEBUG
 options		"EXT2FS"
 options		"IBCS2"
-options		LINUX
 options		"SCSI_2_DEF"
 options		SHOW_BUSYBUFS	# List buffers that prevent root unmount
diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES
index f202ab10c0b3..cfc3c53bd163 100644
--- a/sys/i386/conf/NOTES
+++ b/sys/i386/conf/NOTES
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.250 1996/04/22 19:40:25 nate Exp $
+#	$Id: LINT,v 1.251 1996/04/26 06:44:45 sos Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -864,6 +864,5 @@ options		POWERFAIL_NMI	# make it beep instead of panicing
 options		DEBUG
 options		"EXT2FS"
 options		"IBCS2"
-options		LINUX
 options		"SCSI_2_DEF"
 options		SHOW_BUSYBUFS	# List buffers that prevent root unmount
diff --git a/sys/i386/conf/options.i386 b/sys/i386/conf/options.i386
index d2b5ee6ea371..a5b011b91141 100644
--- a/sys/i386/conf/options.i386
+++ b/sys/i386/conf/options.i386
@@ -1,4 +1,4 @@
-#	$Id: options.i386,v 1.10 1996/04/13 16:50:23 bde Exp $
+#	$Id: options.i386,v 1.11 1996/04/26 06:44:46 sos Exp $
 BOUNCEPAGES		opt_bounce.h
 USER_LDT
 MATH_EMULATE		opt_math_emulate.h
@@ -8,7 +8,6 @@ SHOW_BUSYBUFS		opt_machdep.h
 PANIC_REBOOT_WAIT_TIME	opt_machdep.h
 LARGEMEM		opt_machdep.h
 MAXMEM			opt_machdep.h
-LINUX			opt_linux.h
 PERFMON			opt_perfmon.h
 AUTO_EOI_1		opt_auto_eoi.h
 AUTO_EOI_2		opt_auto_eoi.h