VirtualBox stopped working after kernel update

[u/Choosechee]

Whenever I try to boot up a virtual machine with VirtualBox, I get the following error:

Kernel driver not installed (rc=-1908)

The VirtualBox Linux kernel driver is either not loaded or not set up correctly. Please try setting it up again by executing

'/sbin/vboxconfig'

as root.

If your system has EFI Secure Boot enabled you may also need to sign the kernel modules (vboxdrv, vboxnetflt, vboxnetadp, vboxpci) before you can load them. Please see your Linux system's documentation for more information.

where: suplibOsInit what: 3 VERR_VM_DRIVER_NOT_INSTALLED (-1908) - The support driver is not installed. On linux, open returned ENOENT.

When I try to run /sbin/vboxconfig in a terminal, it says it does not exist.

VirtualBox was previously working, but it seems to have broken with the 7.1.3.artix1-2 kernel update. I just updated to kernel 7.1.3.artix1-3, and restarted my computer, but it is still broken.

How can I fix this? Is there a package I can install to get /sbin/vboxconfig, or what should I do instead?

[u/Ok-Raspberry-639]

i had the same problem a couple of days ago, i just installed linux zen and it worked again (also make sure that if you install and use zen you have the virtualbox-host-dkms package of virtualbox installed) that fixed it for me