Not sure if this raspbery pi is armhf or arm64. Comparing armhf & arm64 blacklists, neither are changed between release pocket and -proposed.
armhf does not have bcm2835_wdt listed, and arm64 does. These are for the generic kernel. $ grep bcm2835 *.conf blacklist_linux_4.15.0-20-generic.conf:blacklist bcm2835_wdt blacklist_linux_4.15.0-23-generic.conf:blacklist bcm2835_wdt $ diff -u blacklist_linux_4.15.0-20-generic.conf blacklist_linux_4.15.0-23-generic.conf --- blacklist_linux_4.15.0-20-generic.conf 2018-04-24 05:56:17.000000000 +0100 +++ blacklist_linux_4.15.0-23-generic.conf 2018-05-23 17:54:55.000000000 +0100 @@ -1,4 +1,4 @@ -# Kernel supplied blacklist for linux 4.15.0-20-generic arm64 +# Kernel supplied blacklist for linux 4.15.0-23-generic arm64 # modprobe.d/common.conf # LP:1434842 -- disable OSS drivers by default to allow pulseaudio to emulate blacklist snd-mixer-oss This is fine to ship, but it seems like the bug is not fixed yet?! Or which kernel flavour I should be checking, if not generic?! -- 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/1766052 Title: Incorrect blacklist of bcm2835_wdt Status in linux package in Ubuntu: Triaged Status in linux source package in Artful: Triaged Status in linux source package in Bionic: Fix Committed Bug description: Without bcm2835_wdt loaded, Raspberry Pi systems cannot reboot or shut down. This needs to be removed from the automatic blacklist generated by the kernel build that ends up in /lib/modprobe.d/blacklist_linux_$(uname -r).conf To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1766052/+subscriptions -- Mailing list: https://launchpad.net/~kernel-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~kernel-packages More help : https://help.launchpad.net/ListHelp

