diff --git a/sys/arch/alpha/README b/sys/arch/alpha/README
index a05b0cb678aa..69b8e343d6fa 100644
--- a/sys/arch/alpha/README
+++ b/sys/arch/alpha/README
@@ -1,4 +1,4 @@
-$NetBSD: README,v 1.8 1996/04/25 00:11:09 cgd Exp $
+$NetBSD: README,v 1.9 1996/06/13 20:36:04 cgd Exp $
 
 Obtaining NetBSD/Alpha sources and binaries:
 
@@ -21,11 +21,8 @@ Obtaining NetBSD/Alpha sources and binaries:
 		    There are no instructions on how to use these.
 		    Good luck!  8-)
 
-	Binary snapshots include two precompiled kernels available: one
-	generic kernel which will prompt for a disk name to be used as
-	the root device, and one which tries to boot diskless via
-	bootp and NFS.  The generic kernel is included in the rz25
-	disk image.
+	Binary snapshots include a kernel image which is the same
+	as the one on the rz25 disk image.
 
 	The sources provided seperately from the normal NetBSD-current
 	distribution are:
@@ -73,11 +70,6 @@ Installing the NetBSD/Alpha distribution:
 	Boot the Alpha with the NetBSD disk, supplying the boot flag "-s".
 	It should print something like "NetBSD/Alpha Boot program", load
 	the kernel, print a copyright, and print various startup messages.
-	Included among those startup messages will be names (e.g. "sd0",
-	"cd0") for all of the SCSI disks in your system that NetBSD
-	recognizes.  Eventually, you will be prompted for the name of
-	the root device, and should enter the device name (e.g. "sd0")
-	of the device that corresponds to your NetBSD disk.
 
 	After a short while, you should be asked for the name of a shell
 	to use; just hit return.  You're advised to fsck the disk at this
diff --git a/sys/arch/alpha/STATUS b/sys/arch/alpha/STATUS
index a38e433eba1c..ef769fb29bd8 100644
--- a/sys/arch/alpha/STATUS
+++ b/sys/arch/alpha/STATUS
@@ -1,4 +1,4 @@
-$NetBSD: STATUS,v 1.3 1996/04/25 04:28:04 cgd Exp $
+$NetBSD: STATUS,v 1.4 1996/06/13 20:36:10 cgd Exp $
 
 NetBSD/Alpha's Status
 
@@ -64,12 +64,8 @@ Supported hardware:
 	or run diskless.)  AlphaStation 500 systems may work, but
 	have not been tested.
 
-	AXPpci systems, with the same supported hardware list as
-	the AlphaStation {200,250,255,400} systems.
-
-NOTE: As far as I know, testers have not tested current kernels
-throughly on DEC 3000/[3-900] systems, or AT ALL AlphaStation 600
-systems!
+	AXPpci systems (including Multia), with the same supported
+	hardware list as the AlphaStation {200,250,255,400} systems.
 
 At this time none of the following systems are supported:
 	DECpc AXP 150 systems (EISA-bus PC-like systems)
diff --git a/sys/arch/alpha/TODO.users b/sys/arch/alpha/TODO.users
index eba7a9ce4a63..1542b2e5b88e 100644
--- a/sys/arch/alpha/TODO.users
+++ b/sys/arch/alpha/TODO.users
@@ -1,4 +1,4 @@
-$NetBSD: TODO.users,v 1.3 1996/04/25 04:28:05 cgd Exp $
+$NetBSD: TODO.users,v 1.4 1996/06/13 20:36:14 cgd Exp $
 
 The NetBSD/Alpha "User" To-Do List
 
@@ -24,15 +24,11 @@ Test programs; find and fix bugs.  In particular:
 	(3) /usr/games
 
 Test TurboChannel option slot support.  Write TurboChannel option
-board support.  Test PMAD-A support.
+board drivers.  Test PMAD-A (TC le) driver.
 
 Get the GNU tools to generate a.out binaries for the alpha.  Once that
-is done:
-	(1) make gprof work, then profile the kernel and tell me how
-	    bad my assumptions lost.  (Actually, the gprof in the Cygnus
-	    toolchain may already work.)
-	(2) make the rest of the NetBSD a.out-manipulation tools (e.g.
-	    nm) work.
+is done, make the rest of the NetBSD a.out-manipulation tools (e.g. nm)
+work.
 
 Make DDB work.  (For completeness, may require a.out kernel binaries
 and/or some ecoff symbol handling code to be written; the former is