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

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Sat, 20 Aug 2022 21:08:36 +0000
    From:        Taylor R Campbell <riastradh%NetBSD.org@localhost>
    Message-ID:  <20220820210830.C8658609EB%jupiter.mumble.net@localhost>

  | Do you propose that it be different from what other platforms use, so
  | we don't end up with a standard mount point for the EFI system
  | partition?

At the minute that seems like the optimal solution, as sad as that is.

The problem was created by whoever decided /boot should be created
on some systems as a directory, when on others it has been a file
for much longer (/boot has been on x86 as a file, and probably others
before that, since long before arm processers were invented, let alone
riscv, and I don't think there were any mips evaluation boards around
then either).   But apparently we can't undo that now, so we simply
have to live with it.

Since the number of tools and scripts that need to meddle in places like
this is limited, and many are system dependent anyway (there's no fdt on
x86 for example) the impact of this difference should be fairly small.

kre