Bug#822078: debian-installer: Unbootable system after the installation on Dell XPS13 P54G model
On Sun, Nov 20, 2016 at 02:57:17AM +0100, Cyril Brulebois wrote:
>Ramakrishnan Muthukrishnan <email@example.com> (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:
>> 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?
>Cc-ing Steve, who might know.
Yes, it sounds exactly like that. :-(
Steve McIntyre, Cambridge, UK. firstname.lastname@example.org
"You can't barbecue lettuce!" -- Ellie Crane