Actually, no, the .ko files are NOT there in linux-image- extra-4.13.0-26-generic for example.
Does this work with any post-KPTI kernel? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1679671 Title: spl-linux 0.6.5.6-0ubuntu4 ADT test failure with linux-hwe-edge 4.10.0-14.16~16.04.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/spl-linux/+bug/1679671/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs