diff --git a/sys/alpha/conf/GENERIC b/sys/alpha/conf/GENERIC
index 8dec00658cf6..e55b66064b90 100644
--- a/sys/alpha/conf/GENERIC
+++ b/sys/alpha/conf/GENERIC
@@ -58,7 +58,8 @@ options 	NFSSERVER		#Network Filesystem Server
 options 	NFS_ROOT		#NFS usable as root device
 options 	MSDOSFS			#MSDOS Filesystem
 options 	CD9660			#ISO 9660 Filesystem
-options 	PROCFS			#Process filesystem
+options 	PROCFS			#Process filesystem (requires PSEUDOFS)
+options 	PSEUDOFS		#Pseudo-filesystem framework
 options 	COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
 options 	SCSI_DELAY=15000	#Delay (in ms) before probing SCSI 
 options 	UCONSOLE		#Allow users to grab the console
diff --git a/sys/alpha/conf/NOTES b/sys/alpha/conf/NOTES
index 8dec00658cf6..e55b66064b90 100644
--- a/sys/alpha/conf/NOTES
+++ b/sys/alpha/conf/NOTES
@@ -58,7 +58,8 @@ options 	NFSSERVER		#Network Filesystem Server
 options 	NFS_ROOT		#NFS usable as root device
 options 	MSDOSFS			#MSDOS Filesystem
 options 	CD9660			#ISO 9660 Filesystem
-options 	PROCFS			#Process filesystem
+options 	PROCFS			#Process filesystem (requires PSEUDOFS)
+options 	PSEUDOFS		#Pseudo-filesystem framework
 options 	COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
 options 	SCSI_DELAY=15000	#Delay (in ms) before probing SCSI 
 options 	UCONSOLE		#Allow users to grab the console
diff --git a/sys/alpha/conf/SIMOS b/sys/alpha/conf/SIMOS
index a72864ca0524..c1cc835140e3 100644
--- a/sys/alpha/conf/SIMOS
+++ b/sys/alpha/conf/SIMOS
@@ -27,7 +27,8 @@ options		NFSSERVER		#Network Filesystem Server
 options		MSDOSFS			#MSDOS Filesystem
 options		"CD9660"		#ISO 9660 Filesystem
 options		NFS_ROOT		#NFS usable as root device
-options		PROCFS			#Process filesystem
+options 	PROCFS			#Process filesystem (requires PSEUDOFS)
+options 	PSEUDOFS		#Pseudo-filesystem framework
 options		"COMPAT_43"		#Compatible with BSD 4.3 [KEEP THIS!]
 options		SCSI_DELAY=100		#Be pessimistic about Joe SCSI device
 options		UCONSOLE		#Allow users to grab the console
diff --git a/sys/i386/conf/NEWCARD b/sys/i386/conf/NEWCARD
index 717905cb9d6c..4cce8ecd8737 100644
--- a/sys/i386/conf/NEWCARD
+++ b/sys/i386/conf/NEWCARD
@@ -43,7 +43,8 @@ options 	NFSSERVER		#Network Filesystem Server
 options 	NFS_ROOT		#NFS usable as root device, requires NFSCLIENT
 options 	MSDOSFS			#MSDOS Filesystem
 options 	CD9660			#ISO 9660 Filesystem
-options 	PROCFS			#Process filesystem
+options 	PROCFS			#Process filesystem (requires PSEUDOFS)
+options 	PSEUDOFS		#Pseudo-filesystem framework
 options 	COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
 options 	SCSI_DELAY=15000	#Delay (in ms) before probing SCSI
 options 	UCONSOLE		#Allow users to grab the console
diff --git a/sys/ia64/conf/GENERIC b/sys/ia64/conf/GENERIC
index ab90d85dd0d0..96389066f120 100644
--- a/sys/ia64/conf/GENERIC
+++ b/sys/ia64/conf/GENERIC
@@ -43,7 +43,8 @@ options 	NFSSERVER		#Network Filesystem Server
 options 	NFS_ROOT		#NFS usable as root device
 options 	MSDOSFS			#MSDOS Filesystem
 options 	CD9660			#ISO 9660 Filesystem
-options 	PROCFS			#Process filesystem
+options 	PROCFS			#Process filesystem (requires PSEUDOFS)
+options 	PSEUDOFS		#Pseudo-filesystem framework
 options 	COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
 options 	SCSI_DELAY=15000	#Delay (in ms) before probing SCSI 
 options 	UCONSOLE		#Allow users to grab the console