Bug#908161: Please enable building a riscv64 kernel image

2018-10-11 Thread Karsten Merker
Control: tags 908161 + patch On Tue, Sep 18, 2018 at 08:57:01PM +0200, Karsten Merker wrote: > On Sat, Sep 08, 2018 at 11:15:36PM +0100, Ben Hutchings wrote: > > [Building a linux-image-*-riscv64 binary package] > > > The addition of riscv will have to wait until it has support > > for an

Processed: Re: Bug#908161: Please enable building a riscv64 kernel image

2018-10-11 Thread Debian Bug Tracking System
Processing control commands: > tags 908161 + patch Bug #908161 [src:linux] Please enable building a riscv64 kernel image Added tag(s) patch. -- 908161: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908161 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#910765: very slow boot with backport kernel (+workaround)

2018-10-11 Thread Yves-Alexis Perez
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On Wed, 2018-10-10 at 22:49 +0200, stefano gozzi wrote: > Debian stable (updated) with kernel 4.18.0-0.bpo.1-amd64 #1 SMP Debian > 4.18.6-1~bpo9+1 (2018-09-13) x86_64 GNU/Linux > > updating from standard kernel to backports, the boot is very slow