16 Sep
2019
16 Sep
'19
4:36 p.m.
What tool is being used to boot (grub, refind, etc)? Should we assume this is UEFI? And if so, what are UEFI Bios settings possibly relevant (like a boot manager setting for example which "can" choose disks oher than your preference).