4 ms·

Does someone know how to boot Linux on a Windows 10 machine ? Its proven extremely hard to boot Elementary OS on my X1 Carbon. I tried turning off fast boot a

Does someone know how to boot Linux on a Windows 10 machine ? Its proven extremely hard to boot Elementary OS on my X1 Carbon. I tried turning off fast boot and a whole set of options - even changed boot partition from Linux on a USB but when I do it windows still loads and says something like 'boot partition corrupted.. fixing problem' I gave up after a while and just accepted my fate.

T-A 10y ago
These days I keep Linux and Windows on separate hard drives (to then regularly laugh at myself for using VMs instead).
LinuxBender 10y ago
Some of the newer machines don't look for anything other than the Microsoft folder in EFI. Instructions for ubuntu are similar for others. mount /dev/sda1 /mnt cd /mnt/EFI mkdir -p Microsoft/Boot cp /mnt/EFI/ubuntu/grubx64.efi /mnt/EFI/Microsoft/Boot/bootmgfw.efi You may also need to create /EFI/Boot and copy the .efi file there as well.