1. The crucial first step in Windows is to disable hibernation. This ensures that the machine completely shuts down at the end of a session and there are no side-effects with Linux. Read here.
2. From Windows, back-door into the UEFI setup and disable Secure Boot. This machine has a quirk - you need to set a supervisor password before you can modify Secure Boot. Then you can set the boot device order and boot off a UEFI flash drive.
3. Run Gparted and shrink the main Windows partition by 10-20GB. Make a Linux partition in the new space.
4. Run the Stretch-Live-Frugal-Installer and install the Starter Kit into the new partition. Translate its GRUB menu entry into GRUB2 syntax.
5. Now for the UEFI bootloader. Identify the FAT32 EFI System Partition (ESP) used by Windows. Rename its EFI folder as WIN-EFI. Copy the Linux EFI folder off the flash drive.
6. Build a grub.cfg file using the code from Step 4. For Windows, add an entry like:
Code: Select all
menuentry "Windows 10" {
set root=(hd0,gpt1)
chainloader /WIN-EFI/Microsoft/Boot/bootmgfw.efi
}