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. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1749040 Title: KPTI support for arm64 systems To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1749040/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs