Bug#871608: linux-image-4.9.0-3-amd64: Linux kernel should handle decreasing cpu steal clock counter gracefully

Package: src:linux Version: 4.9.30-2+deb9u3 Severity: normal Tags: patch Dear Maintainer, running Debian Stretch as a paravirtualized guest under Xen, the kernel obtains its cpu steal time counter from the virtualization host. On some hosts, occasionally a slight decrease in the cpu steal time is

Bug#871595: initramfs-tools: Include mlx4 and mlx5 InfiniBand modules

Package: initramfs-tools Version: 0.130 Severity: normal Tags: patch Hi, Mellanox ConnectX architecture is: mlx4_core is the lower level PCI driver which register on the PCI id, and protocol specific drivers are depended on it: mlx4_en - for Ethernet and mlx4_ib for Infiniband. NIC could have mu

Bug#869658: linux: system freezes when dell-smm-hwmon reads fan speed

Here are the attachments, which I forgot to send in the previous email... 14:53:33.184354 execve("/bin/cat", ["cat", "/sys/class/hwmon/hwmon2/fan1_inp"...], [/* 43 vars */]) = 0 14:53:33.185278 brk(NULL) = 0x8059b000 14:53:33.185442 access("/etc/ld.so.nohwcap", F_OK) = -1 ENOENT (No

Bug#869658: linux: system freezes when dell-smm-hwmon reads fan speed

Package: linux-image-4.9.0-3-686-pae Version: 4.9.30-2+deb9u3 Severity: important Justification: linux: Debian system freezes when dell-smm-hwmon reads fan speed I runned the following commands, and attach their outputs: strace -o strace_hwmon_fan1_output.txt -tt cat /sys/class/hwmon/hwmon2/fan1_

Bug#864714: task crm_node:15263 blocked for more than 120 seconds.

Package: src:linux Version: 4.9.30-2+deb9u2~bpo8+1 Severity: important Aug 08 23:14:25 vhost032 kernel: INFO: task crm_node:15263 blocked for more than 120 seconds. Aug 08 23:14:25 vhost032 kernel: Not tainted 4.9.0-0.bpo.3-amd64 #1 Debian 4.9.30-2+deb9u2~bpo8+1 Aug 08 23:14:25 vhost032

Bug#864714: task crm_node:16894 blocked for more than 120 seconds.

Package: src:linux Version: 4.9.30-2+deb9u2~bpo8+1 Severity: important Aug 09 03:39:08 vhost082 kernel: INFO: task crm_node:16894 blocked for more than 120 seconds. Aug 09 03:39:08 vhost082 kernel: Not tainted 4.9.0-0.bpo.3-amd64 #1 Debian 4.9.30-2+deb9u2~bpo8+1 Aug 09 03:39:08 vhost082

Processed: Re: Bug#871049: linux: please enable MMC_SDHCI_XENON

Processing control commands: > tag 871049 + pending Bug #871049 [src:linux] linux: please enable MMC_SDHCI_XENON Added tag(s) pending. -- 871049: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871049 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#871049: linux: please enable MMC_SDHCI_XENON

Control: tag 871049 + pending Hello Christoph, > Please consider enabling MMC_SDHCI_XENON on the 4.12 and later > kernels. With this modification I can successfully boot plain debian > kernels from Espressobin using the SD card. > > it needs two patches for devicetree which should be on the way