On Wed, 2017-10-11 at 23:30 +0200, Francesco Poli wrote: [...] > For the record, I have just tried with the latest Linux kernel in > testing: > > Loading Linux 4.13.0-1-686 ... > Loading initial ramdisk ... > > > Another boot failure... > > Is there any progress in the bug investigation?
I don't think anyone's investigating this, I'm afraid. Going back to the lack of output with 'earlyprintk=ttyS0', I had a check and the default bit rate for that is 9600(!) whereas I (and maybe you) would have expected 115200. So perhaps you could try 'earlyprintk=ttyS0,115200' (or whichever bit rate you want). Ben. -- Ben Hutchings Man invented language to satisfy his deep need to complain. - Lily Tomlin
signature.asc
Description: This is a digitally signed message part