Comment 26 for bug 1749040

Revision history for this message
Paolo Pisati (p-pisati) wrote :

No need to install 4.16-rc3 in both host & guest: i can reproduce it
on d05-6 using 4.13.0-36-generic #40~16.04.1 on host (no KPTI
patchset) and 4.16.0-rc3+ on guest.

Unfortunately defconfig boots fine, so there's something in that .config that trips it.
If trying to reproduce it, remove the CONFIG_DEBUG_INFO, to avoid building kmod with debug info and ending up with +1Gb of kmods.