I just want to be sure we are talking about the same. I’m not talking about grub menu, I mean your UEFI’s boot options (or BIOS’s boot options in the old language)
I just want to be sure we are talking about the same. I’m not talking about grub menu, I mean your UEFI’s boot options (or BIOS’s boot options in the old language)