On 7/17/25 20:03, Titus Newswanger wrote:
I just now inserted a Debian 12 installer usb and rebooted, making sure to catch the bios boot device selection screen. It presented me with 9 boot options:# 6 was "General UDisk 5.00" # 9 was "UEFI: General UDisk 5.00" My other 7 boot options are irrelevant to this.If I boot the 6th option and install Debian it will install like you described above. If I boot the 9th option and install Debian it will create, among others, an efi partition mounted at /boot/efi that will not be empty.
That's it! For me it is entry 4 and 11. I realized that there is a similar entry at the end but I haven't thought that far that one is legacy and one is UEFI. So, I always took the wrong one.
I am very grateful to all of you for your help. You saved my day (or I should better say night). Thank you.
Flo.