Bonjour, I installed the last kernel (4.11.3-202.fc25.x86_64) today and there are no more virtualbox modules for this kernel: kmod-VirtualBox-5.1.20-1.fc25.x86_64 is empty and so systemd complains at boot time that virtualbox modules cannot be loaded.... What is this issue? Thank you. -- François Patte UFR de mathématiques et informatique Laboratoire CNRS MAP5, UMR 8145 Université Paris Descartes 45, rue des Saints Pères F-75270 Paris Cedex 06 Tél. +33 (0)1 8394 5849 http://www.math-info.univ-paris5.fr/~patte
Attachment:
signature.asc
Description: OpenPGP digital signature
_______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx