[SOLVED] Debian with no EFI disk: tips to handle missing /EFI/BOOT/BOOTX64.EFI?


New Member
Jul 8, 2023
Hi - this is not really a Proxmox VE issue but seeking any tips you use to install Debian 12 without an EFI disk
(i.e. use only default OVMF Boot Manager entries).

Issue: when installing Debian 12 without an EFI disk it doesn't create /boot/efi/EFI/BOOTX64/BOOTX64.EFI —
this means that the default OVMF boot manager cannot boot from "UEFI QEMU QEMU HARDDISK".

RHEL-like distros also create /boot/efi/EFI/BOOT/BOOTX64.EFI (which is the same file as /boot/efi/EFI/<el-distro>/shimx64.efi).

I am using the default Debian 12 net install ISO - I'm wondering if I am missing a step that would copy /boot/efi/EFI/debian/shimx64.efi to /boot/efi/EFI/BOOT/BOOTX64.EFI.

(If I do the copy manually after install, and remove the EFI disk, the VM is bootable)

[Update] I found this: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1000743

> Shouldn't there normally be EFI/boot/bootx64.efi?

Not by default. It happens only if you choose to install a copy of the
boot loader in the removable device path. The option is available only
in expert install or after changing priority for questions to low.
Last edited:


The Proxmox community has been around for many years and offers help and support for Proxmox VE, Proxmox Backup Server, and Proxmox Mail Gateway.
We think our community is one of the best thanks to people like you!

Get your subscription!

The Proxmox team works very hard to make sure you are running the best software and getting stable updates and security enhancements, as well as quick enterprise support. Tens of thousands of happy customers have a Proxmox subscription. Get yours easily in our online shop.

Buy now!