Bug#790095: getinitramfs code

Hi, Here is the getinitramfs script itself for testing just in case patch is inconvenient for testing. Osamu #!/bin/sh set -eu usage() { echo "Usage: $(basename $0) [-l] " } if [ "$#" -eq 0 ] ; then usage >&2 exit 1 fi OPTIONS=`getopt -o h --long help -n "$0" -- "$@"`

Bug#790095: lsinitramfs(8): multiple-segmented initramfs supported

Package: initramfs-tools Version: 0.120 Severity: normal Tags: patch >From initramfs-tools 0.118 (Oct. 2014): * [d5f4cd6] lsinitramfs: Parse and list files that include early microcode. Thanks to Brett Parker and Olivier Berger. (Closes: #717805) So the manpage description as the following

Bug#790061: firmware-linux-nonfree: please rebase to latest linux-firmware repo

Package: firmware-linux-nonfree Version: 0.44 Severity: wishlist Dear Kernel Team, This bug report is a request if you could refresh the firmware images, especially for the non-free ones. In the 2nd week of May, there were a bunch of fw updates and additions that missed in the Debian upload. I

Bug#790050: linux-image-4.0.0-2-amd64: Cannot use sdcard: DMA: Out of SW-IOMMU space for 65536 bytes at device 0000:02:00.0

Package: src:linux Version: 4.0.5-1 Severity: important Dear Maintainer, I am getting errors from kernel while using sdcard. Cannot use it, getting i/o errors. -- Package-specific info: ** Version: Linux version 4.0.0-2-amd64 (debian-kernel@lists.debian.org) (gcc version 4.9.2 (Debian 4.9.2-21

Bug#758423: Same problem

Hi, I have found a workaround for this problem. Obviously there is something wrong with the way the fans are handled in this computer. I think it is the BIOS bug, which should not report 4 fans to the OS or the BIOS should handle interrupts related to fans properly??? I solved the issue by recomp