Ubuntu-(Mainline-)Kernel 4.12 mit VirtualBox 5.1.22

Auch VirtualBox läuft derzeit nicht mit Kernel 4.12 im Host (im Guest kann man einen aktuellen Testbuild der GuestAdditions installieren).

Dank eines Postings im siduction-Forum kann man VBox 5.1.22 für Kernel 4.12 patchen:

  1. Wechsel des Verzeichnisses:
    1
    
    cd /usr/share/virtualbox/src
  2. Ziehen des Patchfiles:
    1
    
    sudo wget http://paste.siduction.org/20170629003423 -O vbox.patch
  3. Ausführen des Patches:
    1
    
    sudo patch -Np0 < vbox.patch
  4. Installation (Mainline-)Kernel 4.12.

Update 2017-07-17: Durch Fixes in VirtualBox 5.1.24 benötigt es keinen Patch mehr für Kernel 4.12 und 4.13rc in Host/VM.