How to Boot from ISO on VirtualBox EFI machine. - WinTips.org
Install Arch Linux in Virtualbox with UEFI Firmware in 2019
Can't get UEFI boot order to work properly. BdsDxe: Failed to load Boot0001 "UEFI VBOX HARDDISK". Arch linux Virtualbox-iso - Packer - HashiCorp Discuss
virtual machine - VirtualBox: Guest suddenly boots only into UEFI Interactive Shell - Unix & Linux Stack Exchange