tuxedo-drivers/4.12.2, 6.13.3-2-MANJARO, x86_64: built (Built modules are missing in the kernel modules folder) tuxedo-drivers/4.12.2, 6.14.5-2-MANJARO, x86_64: installed vboxhost/7.1.8_OSE, 6.14.4-1-MANJARO, x86_64: built (Built modules are missing in the kernel modules folder) vboxhost/7.1.8_OSE, 6.14.5-2-MANJARO, x86_64: installed