Tutorial: Dual boot Linux + Windows 10 BIOS mode with BCDEDIT on May 11, 2025 Dual boot GRUB Linux PC Windows +