Ubuntu
linux package

  1. Bug #1777194
  2. Comment #12

Comment 12 for bug 1777194

Revision history for this message
bugproxy (bugproxy) wrote : Comment bridged from LTC Bugzilla

------- Comment From <email address hidden> 2018-07-19 09:54 EDT-------
(In reply to comment #40)
> I just confirmed the two requested patches are in the Ubuntu-4.15.0-29
> kernel:
> eeada334156f powerpc: use NMI IPI for smp_send_stop
> 4190e27bf0ee powerpc: Fix smp_send_stop NMI IPI handling
>
> Can you confirm the kernel posted in comment #5 fixes this bug on the same
> machine?

As this is observed on Tuleta, i am not able to boot this kernel even after I used "apt-setup/proposed=true" while booting. Can you build a deb with the same?