bring the source tree a bit up to date with my local tree

1 files changed, 18 insertions, 18 deletions

diff --git a/sys/arch/pmax/conf/PLUTO b/sys/arch/pmax/conf/PLUTO
index cbb5c2fc308..1931c01156d 100644
--- a/sys/arch/pmax/conf/PLUTO
+++ b/sys/arch/pmax/conf/PLUTO
@@ -4,29 +4,29 @@
 
 machine		pmax
 
-options		CPU_R3000
-options		DS3100
-options		HZ=256
-options		NKMEMCLUSTERS=1024
-options		TIMEZONE=0
-options		DST=0
+option		CPU_R3000
+option		DS3100
+option		HZ=256
+option		NKMEMCLUSTERS=1024
+option		TIMEZONE=0
+option		DST=0
 
 maxusers	8
 
-options		SWAPPAGER
-options		VNODEPAGER
-options		DEVPAGER
+option		SWAPPAGER
+option		VNODEPAGER
+option		DEVPAGER
 
-options		COMPAT_43
-options		NATIVE_ELF
-options		FFS
-options		FIFO
-options		INET
-options		NFSCLIENT
-options		NFSSERVER
-options		KTRACE
+option		COMPAT_43
+option		NATIVE_ELF
+option		FFS
+option		FIFO
+option		INET
+option		NFSCLIENT
+option		NFSSERVER
+option		KTRACE
 
-config		netbsd	root on rz0a swap on rz0b dumps on rz0b
+config		bsd	root on rz3a swap on rz3b dumps on rz3b
 
 mainbus0	at root