Their guide specifically mentions making a separate EFI boot partition for your Linux install.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies:
Their guide specifically mentions making a separate EFI boot partition for your Linux install.