On Fri, Mar 2, 2018 at 4:48 AM, Paolo Pisati <1749...@bugs.launchpad.net> wrote: > If the bug in #39 is not related to kpti, can you spawn it into a > separate LP bug and add a reproducer?
If it is shown to not be related to KPTI after I run those further tests, that is the plan. -dann -- 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