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

My quick reaction is that the use of /boot for the 2nd-stage bootloader
is really longstanding, and that mounting some boot partition (EFI or
not) on /boot is much more recent.

I have a boot partition mounted on /grub, on a xen domU that uses pvgrub
(because that's how the dom0 is).  I wouldn't mind renaming that to
align if there were a convention.  That machine has a /boot which isn't
used, but is the standard image.

That leads me to want to have a new name for the boot partition, and
leave /boot alone.  And, mounting the EFI partition is not critical;
it's great to have it in a standard place because upgrade tools have to
mess with it, etc., but I think the system will boot just fine even if
it isn't mounted.

I think the hard part is coming up with a sane name for where to mount
this.  After a few minutes, my suggestion is /bootfs which conveys that
not only is this for booting, but that it's a mount point for a
filesystem, not a boot program.   I see that as causing less total
torquing around over all users.

-----BEGIN PGP SIGNATURE-----

iF0EARECAB0WIQS7wyAjWilQwVHG9Vsf2nroCY7WDgUCYwDQiQAKCRAf2nroCY7W
DhCjAJwJq52D3Bi1RI86uwTtt+5COZ12ZQCeOGveF8m672DuZGNEngI7cpfCzmA=
=X/wh
-----END PGP SIGNATURE-----