Processed: your mail

2016-09-26 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > affects 838892 src:linux Bug #838892 [src:gcc-6] [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel Added indication that 838892 affects src:linux > End of message, stopping processing here. Please contact me i

Processed: Fwd: Processed: Fwd:

2016-09-26 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > forwarded 838892 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71709 Bug #838892 [src:gcc-6] [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel Set Bug forwarded-to-address to 'https://gcc.gnu.org/bugzilla/show_

Bug#838892: [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel

2016-09-26 Thread Mathieu Malaterre
Package: src:gcc-6 Version: 6.2.0-4 Severity: important [...] Observed that boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel while using gcc-ppc64-linux-gnu v5.4.0 and v6.1.1. While it works as expected with v5.3.1 . Found that in init/main.c in setup_command_line() t