<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>