diff --git a/sys/alpha/conf/GENERIC b/sys/alpha/conf/GENERIC
index de12756674fc..e09424cc1f9c 100644
--- a/sys/alpha/conf/GENERIC
+++ b/sys/alpha/conf/GENERIC
@@ -11,7 +11,7 @@
 # device lines is present in the ./LINT configuration file. If you are 
 # in doubt as to the purpose or necessity of a line, check first in LINT.
 #
-#	$Id: GENERIC,v 1.8 1998/09/18 18:43:52 dfr Exp $
+#	$Id: GENERIC,v 1.9 1998/10/13 21:38:46 jkh Exp $
 
 machine		"alpha"
 cpu		"EV4"
@@ -108,4 +108,4 @@ options		KTRACE		#kernel tracing
 options		SYSVSHM
 
 options		DDB
-options		DB_ELF_SYMBOLS
+#options		DB_ELF_SYMBOLS
diff --git a/sys/alpha/conf/NOTES b/sys/alpha/conf/NOTES
index de12756674fc..e09424cc1f9c 100644
--- a/sys/alpha/conf/NOTES
+++ b/sys/alpha/conf/NOTES
@@ -11,7 +11,7 @@
 # device lines is present in the ./LINT configuration file. If you are 
 # in doubt as to the purpose or necessity of a line, check first in LINT.
 #
-#	$Id: GENERIC,v 1.8 1998/09/18 18:43:52 dfr Exp $
+#	$Id: GENERIC,v 1.9 1998/10/13 21:38:46 jkh Exp $
 
 machine		"alpha"
 cpu		"EV4"
@@ -108,4 +108,4 @@ options		KTRACE		#kernel tracing
 options		SYSVSHM
 
 options		DDB
-options		DB_ELF_SYMBOLS
+#options		DB_ELF_SYMBOLS