If I remember correctly, this is the only issue I encountered with the UEFI implementation of VirtualBox, otherwise, it acts pretty much like a standard UEFI implementation. Press question mark to learn the rest of the keyboard shortcuts. You would normally fiddle-fart around in the UEFI menus to configure it, or use efibootmgr. Hello, I installed Virtualbox and added new virtual machine -> mininet. If this is practice for a future UEFI install of Arch Linux, make a note in your notes that this is only needed for VirtualBox. Sudo cp /boot/ESP/EFI/arch/grub圆4.efi /boot/ESP/EFI/BOOT/BOOTX64.EFIĭo note, though, that this is not needed for most UEFI implementations. Mostly, it would look like: sudo mkdir -p /boot/ESP/EFI/BOOT/ The ESP will boot the default location, as specified in the EFI spec, which is /EFI/BOOT/BOOTX64.EFI.Īssuming you mounted the ESP (the EFI special system partition) under /boot/ESP, you would need to make sure you copied the grub圆4.efi file to where VirtualBox will read it.

It cannot save 'bios configs', so anything done on the EFI shell or in the menus (are there even menus? I forgot) won't stick around for later boots. VirtualBox is a weird beast, generally, but for EFI, its support is.

Arch virtualbox vboxconfig