<div dir="ltr">On 11 April 2018 at 23:02, D. Hugh Redelmeier via talk <span dir="ltr"><<a href="mailto:talk@gtalug.org" target="_blank">talk@gtalug.org</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">| From: Giles Orr via talk <<a href="mailto:talk@gtalug.org">talk@gtalug.org</a>><br>
<span class="">| These days it<br>
| seems you want a /boot partition though - but I'm not the one to explain<br>
| the ins and outs of that.<br>
<br>
</span>I've not seen a use for a /boot partition.<br>
<br>
With UEFI booting, you need a separate EFI System Partition. This<br>
will be shared by all systems that boot off that drive. This gets<br>
mounted on the mount point /boot/efi. It will be some variant of FAT<br>
but the partition type will be distinct.<br></blockquote></div><br></div><div class="gmail_extra">To correct my own post based on what Hugh said ... I was both right and horribly wrong about that. I was entirely correct "I'm not the one to explain [this]." And horribly wrong: what you usually want is what Hugh said: an EFI System Partition. I'd conflated that with a /boot/ partition because it appears there. My apologies.<br clear="all"></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Giles<br><a href="https://www.gilesorr.com/" target="_blank">https://www.gilesorr.com/</a><br><a href="mailto:gilesorr@gmail.com" target="_blank">gilesorr@gmail.com</a></div>
</div></div>