Bug#862400: several bios updates exist since 2007

From	Ivo De Decker <ivodd@debian.org>
Newsgroups	linux.debian.bugs.dist, linux.debian.kernel
Subject	Bug#862400: several bios updates exist since 2007
Date	2017-06-03 21:40 +0200
Message-ID	<tOn3X-2HQ-5@gated-at.bofh.it> (permalink)
References	<tIOTf-1TM-3@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

Hi,

On Fri, May 19, 2017 at 01:58:31PM +0200, Arturo Borrero Gonzalez wrote:
> We managed to upgrade the BIOS (not the last one, though).
> 
> Still no luck, kernel 4.9 doesn't boot while 4.7 does.

Does it work with 4.11 (available in experimental)?

Cheers,

Ivo

Back to linux.debian.kernel | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Bug#862400: several bios updates exist since 2007 Ivo De Decker <ivodd@debian.org> - 2017-06-03 21:40 +0200
  Bug#862400: several bios updates exist since 2007 Arturo Borrero Gonzalez <arturo@debian.org> - 2017-06-05 11:10 +0200

csiph-web