On Thu, Jun 04, 2020 at 07:20:18PM +0200, Vegard Nossum wrote: > On 2020-06-04 19:18, Vlastimil Babka wrote: > > On 6/4/20 7:14 PM, Vegard Nossum wrote: > > > > > > Hi all, > > > > > > I ran into a boot problem with latest linus/master > > > (6929f71e46bdddbf1c4d67c2728648176c67c555) that manifests like this: > > > > Hi, what's the .config you use? > > Pretty much x86_64 defconfig minus a few options (PCI, USB, ...) What are you boot parameters? This must be another corner case... (I'll try reproducing with your .config) -- Kees Cook