diff --git a/sys/i386/boot/biosboot/boot.c b/sys/i386/boot/biosboot/boot.c
index 36afb666e4f1..cd33609b196c 100644
--- a/sys/i386/boot/biosboot/boot.c
+++ b/sys/i386/boot/biosboot/boot.c
@@ -24,7 +24,7 @@
  * the rights to redistribute these changes.
  *
  *	from: Mach, [92/04/03  16:51:14  rvb]
- *	$Id: boot.c,v 1.25 1994/11/18 10:21:31 phk Exp $
+ *	$Id: boot.c,v 1.26 1994/11/18 13:40:19 jkh Exp $
  */
 
 
@@ -80,7 +80,7 @@ int drive;
 	printf("\n>> FreeBSD BOOT @ 0x%x: %d/%d k of memory\n",
 		ouraddr, memsize(0), memsize(1));
 	printf("Use hd(1,a)/kernel to boot sd0 when wd0 is also installed.\n");
-	printf("Usage: [[[%s(0,a)]%s][-s][-r][-a][-c][-d][-b]]\n",
+	printf("Usage: [[[%s(0,a)]%s][-s][-r][-a][-c][-d][-b][-v]]\n",
 			devs[(drive & 0x80) ? 0 : 2], names[0]);
 	printf("Use ? for file list or simply press Return for defaults\n");
 	gateA20();
@@ -270,6 +270,8 @@ getbootdev(howto)
 						*howto |= RB_KDB; continue;
 					      case 'b':
 						*howto |= RB_HALT; continue;
+					      case 'v':
+						*howto |= RB_VERBOSE; continue;
 					}
 			else {
 				name = ptr;
diff --git a/sys/sys/reboot.h b/sys/sys/reboot.h
index 1ab9ac50f08b..58c97799d8c0 100644
--- a/sys/sys/reboot.h
+++ b/sys/sys/reboot.h
@@ -31,7 +31,7 @@
  * SUCH DAMAGE.
  *
  *	@(#)reboot.h	8.1 (Berkeley) 6/2/93
- * $Id: reboot.h,v 1.5 1994/10/26 13:38:23 jkh Exp $
+ * $Id: reboot.h,v 1.6 1994/10/26 13:45:52 jkh Exp $
  */
 
 #ifndef _SYS_REBOOT_H_
@@ -55,6 +55,7 @@
 #define	RB_DUMP		0x100	/* dump kernel memory before reboot */
 #define	RB_MINIROOT	0x200	/* mini-root present in memory at boot time */
 #define RB_CONFIG	0x400	/* invoke user configuration routing */
+#define RB_VERBOSE	0x800	/* print all potentially useful info */
 
 /*
  * Constants for converting boot-style device number to type,