Bug#951543: Please enable SECO HDMI CEC driver

2020-02-17 Thread Sébastien Noel
Package: src:linux Severity: wis hlist Tags: patch Dear Maintainer, Could you please enable CONFIG_VIDEO_SECO_CEC ? That device is found on x86 board from UDOO, it would be very cool to not have to rebuild the kernel by hand :-) Thanks. Sébastien --- a/config-5.4.13 +++ b/config-5.4.13 @@ -479

Bug#951517: installing this kernel does not cause the ndivida/bumblebee driver to be compiled

2020-02-17 Thread Toni
Package: src:linux Version: 5.4.8-1~bpo10+1 Severity: normal Hi, usually, installing a kernel results in any DKMS modules being recompiled for this kernel, but for the nvidia driver, this does not seem to happen. As a result, bumblebeed does not start, effectively disabling the nvidia card. Ch

Processed: reassign 951482 to src:linux, severity of 951482 is wishlist

2020-02-17 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > reassign 951482 src:linux 5.4.19-1 Bug #951482 [linux-image-amd64] CX2072X SoC audio modules Bug reassigned from package 'linux-image-amd64' to 'src:linux'. No longer marked as found in versions linux-signed-amd64/5.4.19+1. Ignoring request to alt

Bug#951495: linux-image-4.19.0-8-armmp: unable to boot an odroid xu4, cannot load rootfs from sdcard by UUID

2020-02-17 Thread Luc Maisonobe
Package: src:linux Version: 4.19.98-1 Severity: normal Dear Maintainer, I encountered a problem when upgrading linux-image from 4.0.19-6 to 4.0.19-8 on two odroid xu4 servers. They do not boot anymore when using the vmlinuz-4.19.0-8-armmp image installed on /boot (but they still boot if I use the

Processed: Re: linux-source-5.4: Failed to build linux-source-5.4 in efi_set_secure_boot

2020-02-17 Thread Debian Bug Tracking System
Processing control commands: > tags -1 patch Bug #945604 [linux-source-5.4] linux-source-5.4: Failed to build linux-source-5.4 in efi_set_secure_boot Added tag(s) patch. -- 945604: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945604 Debian Bug Tracking System Contact ow...@bugs.debian.org

Bug#945604: linux-source-5.4: Failed to build linux-source-5.4 in efi_set_secure_boot

2020-02-17 Thread Christian Barcenas
Control: tags -1 patch The root cause is that lock_kernel_down() is unconditionally called in efi_set_secure_boot, even if the kernel is compiled without lockdown support (i.e. SECURITY_LOCKDOWN_LSM=n). This build failure shouldn't affect the Debian official kernel packages because the Kconfig de

Bug#951482: CX2072X SoC audio modules

2020-02-17 Thread Peter Zahradnik
Package: linux-image-amd64 Version: 5.4.19-1 Please enable modules for CX2072X audio [1] (included in mainline from 5.3 [2] ) CONFIG_SND_SOC_INTEL_BYT_CHT_CX2072X_MACH CONFIG_SND_SOC_CX2072X [1] https://bugzilla.kernel.org/show_bug.cgi?id=115531 [2] https://git.kernel.org/pub/scm/linux/ke