diff --git a/sys/i386/conf/GENERICAH b/sys/i386/conf/GENERICAH
index e4d548c54702..da0c030925f2 100644
--- a/sys/i386/conf/GENERICAH
+++ b/sys/i386/conf/GENERICAH
@@ -1,7 +1,7 @@
 #
 # GENERICAH -- Generic machine with WD/AHx/NCR family disks
 #
-#	$Id: GENERICAH,v 1.45 1994/09/26 16:15:04 jkh Exp $
+#	$Id: GENERICAH,v 1.46 1994/09/28 22:46:20 davidg Exp $
 #
 
 machine		"i386"
@@ -16,7 +16,6 @@ options		INET			#InterNETworking
 #options		GATEWAY			#Host is a Gateway (forwards packets)
 options		FFS			#Berkeley Fast File System
 options		NFS			#Network File System
-options		PROCFS			#Process File System
 options		"CD9660"		#CD ISO9660 File System
 options		"COMPAT_43"		#Compatible with BSD 4.3
 #options		"TCP_COMPAT_42"		#TCP/IP compatible with 4.2
diff --git a/sys/i386/conf/GENERICBT b/sys/i386/conf/GENERICBT
index 3fea25319315..04fd69585f71 100644
--- a/sys/i386/conf/GENERICBT
+++ b/sys/i386/conf/GENERICBT
@@ -1,7 +1,7 @@
 #
 # GENERICBT -- Generic machine with WD/BTx family disks
 #
-#	$Id: GENERICBT,v 1.41 1994/09/22 19:37:27 wollman Exp $
+#	$Id: GENERICBT,v 1.42 1994/09/28 22:46:22 davidg Exp $
 #
 
 machine		"i386"
@@ -16,7 +16,6 @@ options		INET			#InterNETworking
 #options		GATEWAY			#Host is a Gateway (forwards packets)
 options		FFS			#Berkeley Fast File System
 options		NFS			#Network File System
-options		PROCFS			#Process File System
 options		"CD9660"		#CD ISO9660 File System
 options		"COMPAT_43"		#Compatible with BSD 4.3
 #options		"TCP_COMPAT_42"		#TCP/IP compatible with 4.2