I believe so
[ruben@flatbush ~]$ sudo pacman -Ss virtualbox
galaxy/libvirt 5.6.0-1 [installed]
API for controlling virtualization engines
(openvz,kvm,qemu,virtualbox,xen,etc)
galaxy/virtualbox-guest-modules-artix 6.0.12-3 [installed]
Virtualbox guest kernel modules for Artix Kernel
galaxy/virtualbox-guest-utils-openrc 20170919-1 (openrc-galaxy) [installed]
OpenRC virtualbox-guest-utils init script
galaxy/virtualbox-host-modules-artix 6.0.12-3 [installed]
Virtualbox host kernel modules for Artix Kernel
community/libvirt 5.6.0-1 [installed]
API for controlling virtualization engines
(openvz,kvm,qemu,virtualbox,xen,etc)
community/phpvirtualbox 5.2_1-1
PHP/AJAX web interface for VirtualBox
community/virtualbox 6.0.12-2 [installed]
Powerful x86 virtualization for enterprise as well as home use
community/virtualbox-ext-vnc 6.0.12-2 [installed]
VirtualBox VNC extension pack
community/virtualbox-guest-dkms 6.0.12-2
VirtualBox Guest kernel modules sources
community/virtualbox-guest-iso 6.0.12-1 [installed]
The official VirtualBox Guest Additions ISO image
community/virtualbox-guest-modules-arch 6.0.12-8 [installed]
Virtualbox guest kernel modules for Arch Kernel
community/virtualbox-guest-utils 6.0.12-2 [installed]
VirtualBox Guest userspace utilities
community/virtualbox-guest-utils-nox 6.0.12-2
VirtualBox Guest userspace utilities without X support
community/virtualbox-host-dkms 6.0.12-2
VirtualBox Host kernel modules sources
community/virtualbox-host-modules-arch 6.0.12-8 [installed]
Virtualbox host kernel modules for Arch Kernel
community/virtualbox-sdk 6.0.12-2 [installed]
VirtualBox Software Developer Kit (SDK)
I also tried to start the
sudo /etc/init.d/vboxservice start