Vboxconfig - virtualbox 6.1 & 6.0.6-arch1-1

Your post was addressed to me so I just answered. But maybe someone else will have an idea. I haven’t heard of anyone talking about vagrant so i don’t know if anyone uses it.