I've written a tutorial showing how to troubleshoot and resolve the issue of virtual machines not starting in VirtualBox following an update in Debian-based systems, with a kernel driver error due to missing gcc-12 package, how to manually run VirtualBox configuration script, how to interpret system logs and make compilation errors, a few other tips and tricks, and more. Take a look. https://www.dedoimedo.com/computers/virtualbox-kernel-driver-gcc-12.html Cheers, Mrk