1- .\" $NetBSD: boot.8,v 1.38 2025/10/10 00:43:09 gutteridge Exp $
1+ .\" $NetBSD: boot.8,v 1.39 2025/10/14 07:15:28 skrll Exp $
22.\"
33.\" Copyright (c) 1991, 1993
44.\" The Regents of the University of California. All rights reserved.
@@ -260,7 +260,7 @@ In support of the
260260.Dv KERNEL_DIR
261261build option (see
262262.Xr mk.conf 5 ) ,
263- the boot loader will then try
263+ the boot loader will then try
264264.Pa netbsd/kernel ,
265265.Pa netbsd/kernel.gz ,
266266.Pa onetbsd/kernel ,
@@ -416,12 +416,12 @@ with the
416416device is not possible.
417417.Pp
418418UEFI may support some USB and PCI-based serial ports.
419- See the
419+ See the
420420.Sx UEFI serial ports
421421section for details.
422422Using the
423423.Ic consdev
424- command without arguments lists the available ports.
424+ command without arguments lists the available ports.
425425.Ar com0
426426to
427427.Ar com3
@@ -438,7 +438,7 @@ using the
438438syntax.
439439No console switch happens in bootstrap, and kernel
440440console initialization will be deferred after USB devices attachment.
441- This means early boot will be silent, and
441+ This means early boot will be silent, and
442442.Xr userconf 4
443443interactive mode cannot be used.
444444The default
@@ -458,7 +458,7 @@ One may use a syntax like:
458458consdev com4,115200
459459kconsdev ucom0,115200
460460.Ed
461- Note that command ordering matters.
461+ Note that command ordering matters.
462462.It Ic dev Op Ar device
463463Set the default drive and partition for subsequent file system
464464operations.
@@ -928,12 +928,12 @@ USB vendor ID and product ID for those devices are
928928and
929929.Ar 0x6001.
930930.Pp
931- To use it, obtain the
931+ To use it, obtain the
932932.Pa FtdiUsbSerialDxe.efi
933933driver from Tianocore EDK2 and save it in the EFI bootstrap partiton,
934934for instance in
935- .Pa /EFI/EDK2/FtdiUsbSerialDxe.efi
936- then create a
935+ .Pa /EFI/EDK2/FtdiUsbSerialDxe.efi
936+ then create a
937937.Pa /EFI/boot/startup.nsh
938938script containing something like
939939.Bd -literal -offset indent
@@ -943,9 +943,9 @@ bootx64.efi
943943.Ed
944944.Pp
945945Then make sure UEFI boots into the UEFI shell.
946- If it is not available in the built-in options,
946+ If it is not available in the built-in options,
947947.Pa Shell.efi
948- can be obtained from Tianocore EDK2 and installed in
948+ can be obtained from Tianocore EDK2 and installed in
949949.Pa /EFI/boot/Shell.efi .
950950.Sh FILES
951951.Bl -tag -width /usr/mdec/bootxx_fstype -compact
0 commit comments