Issue running the aarch64 VirtualBox Vagrant boxes on apple silicon mac

Hi everyone,

I’m looking to try out the aarch64 Rocky 9 VirtualBox Vagrant box on my apple silicon mac. I’ve set up a sample Vagrantfile to use this box as follows:

Vagrant.configure("2") do |config|

  config.vm.box = "rockylinux/9"
  config.vm.box_url = "https://dl.rockylinux.org/pub/rocky/9/images/aarch64/Rocky-9-Vagrant-Vbox-9.5-20241118.0.aarch64.box"

end

However, when I attempt to bring this box up with vagrant up --provision, then I encounter the following error:

% vagrant up --provision         
Bringing machine 'default' up with 'virtualbox' provider...
==> default: Box 'rockylinux/9' could not be found. Attempting to find and install...
    default: Box Provider: virtualbox
    default: Box Version: >= 0
==> default: Box file was not detected as metadata. Adding it directly...
==> default: Adding box 'rockylinux/9' (v0) for provider: virtualbox
    default: Downloading: https://dl.rockylinux.org/pub/rocky/9/images/aarch64/Rocky-9-Vagrant-Vbox-9.5-20241118.0.aarch64.box
==> default: Successfully added box 'rockylinux/9' (v0) for 'virtualbox'!
==> default: Importing base box 'rockylinux/9'...
==> default: Matching MAC address for NAT networking...
==> default: Setting the name of the VM: my_project_default_1734308203318_34384
==> default: Clearing any previously set network interfaces...
==> default: Preparing network interfaces based on configuration...
    default: Adapter 1: nat
==> default: Forwarding ports...
    default: 22 (guest) => 2222 (host) (adapter 1)
==> default: Booting VM...
There was an error while executing `VBoxManage`, a CLI used by Vagrant
for controlling VirtualBox. The command and stderr is shown below.

Command: ["startvm", "0b921eca-cc2a-41aa-ae99-897100e47279", "--type", "headless"]

Stderr: VBoxManage: error: The VM session was aborted
VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component SessionMachine, interface ISession

If I open VirtualBox and attempt to start this VM directly from the GUI, then I get the following error:

Callee RC:
VBOX_E_PLATFORM_ARCH_NOT_SUPPORTED (0x80bb0012)

I notice that the VM created by vagrant also has a little ‘x64’ badge in the VirtualBox GUI:

whereas an arm VM I created manually in VirtualBox to install Rocky 9 from the aarch64 .iso has an ‘A64’ badge instead. This manually created VM was able to boot from the .iso without any issues.

Would anyone be able to provide any help with this issue? Many thanks!