Re: [PATCH] BIOS boot vs EFI system partition mountpoint

[Taylor R Campbell <riastradh%NetBSD.org@localhost>]

> Date: Sat, 20 Aug 2022 12:00:31 +0000
> From: Taylor R Campbell <riastradh%NetBSD.org@localhost>
> 
> I'd like to have a standard mount point for the EFI system partition
> on platforms with EFI boot.  On NetBSD/arm, this is /boot (which is
> also shared with non-EFI boot on some Arm boards), and on NetBSD/riscv
> it'll probably be the same eventually.

I retract my proposal.  Not interested in spending any further effort
on it.