Control: severity -1 important Hi, Sorry for not getting back to you sooner, your bug report didn't reach the mailing list due to uncompressed attachments (and mail size limits)… Ramakrishnan Muthukrishnan <firstname.lastname@example.org> (2016-04-21): > I installed debian from a debian testing nightly iso image for amd64 on > a Dell XPS13 laptop. > > The installation went smoothly. On the first reboot, after removing the > installation media (USB stick), the machine won't boot and complains > that it cannot find a boot media. > > I then searched the web and found similar reports and found this guide: > > <https://github.com/jgbarah/Notes/blob/master/debian-xps-13.md> > > which solved the problem by first preparing a boot media using rEFInd > and booting with it into the just installed Debian system and then > renaming/moving certain files. Pasting the relevant instructions below: > > cd /boot/efi/EFI > cp -r debian BOOT > mv BOOT/grubx64.efi BOOT/bootx64.efi > > Is this something specific to the way Dell XPS13 bios/efi firmware > expects? This is my first installation of Debian on a UEFI machine, so > perhaps there were better ways out of this? But perhaps like me, there > are other joe users new to EFI and face similar issues and then move > away after a failed installation. > > I will be glad to help with further information and any further testing > on this machine. Could this be another case of needing this specific option? https://wiki.debian.org/UEFI#Force_grub-efi_installation_to_the_removable_media_path Cc-ing Steve, who might know. KiBi.
Description: Digital signature