diff --git a/sys/alpha/conf/SIMOS b/sys/alpha/conf/SIMOS
index 052dfadb171..4525c83f6b8 100644
--- a/sys/alpha/conf/SIMOS
+++ b/sys/alpha/conf/SIMOS
@@ -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.107 1998/02/16 23:57:03 msmith Exp $
+#	$Id: SIMOS,v 1.1 1998/06/10 10:54:02 dfr Exp $
 
 machine		"alpha"
 cpu		"EV5"
@@ -81,4 +81,5 @@ options		KTRACE		#kernel tracing
 options		SYSVSHM
 
 options		DDB
+options		DB_ELF_SYMBOLS