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 Kernel Packages, which is subscribed to linux in Ubuntu. https://bugs.launchpad.net/bugs/1749040 Title: KPTI support for arm64 systems Status in linux package in Ubuntu: Incomplete Status in linux source package in Artful: In Progress Status in linux source package in Bionic: Incomplete Bug description: While regression testing the current linux-hwe proposed kernel (4.13.0-33.36~16.04.1), I found that it fails to boot on a Cavium ThunderX CRB. I've rebooted twice since upgrading from the current -updates kernel, and it's failed to boot both times, with different failure modes. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1749040/+subscriptions -- Mailing list: https://launchpad.net/~kernel-packages Post to : kernel-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~kernel-packages More help : https://help.launchpad.net/ListHelp